Bounded variable logics and counting : a study in finite models
著者
書誌事項
Bounded variable logics and counting : a study in finite models
(Lecture notes in logic, 9)
Springer, c1997
大学図書館所蔵 件 / 全25件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [177]-179) and index
内容説明・目次
内容説明
This monograph in finite model theory offers a comprehensive treatment of a variety of results in the model theory and descriptive complexity theory of infinitary logics with a bounded number of variables and logics with counting constructs. The exposition is largely self-contained, with introductory sections on the relevant logics, model theoretic concepts, and the programme of descriptive complexity.
目次
O. Introduction.- 1. Definitions and Preliminaries.- 2. The Games and Their Analysis.- 3. The Invariants.- 4. Fixed-Point Logic with Counting.- 5. Related Lindstrom Extensions.- 6. Canonization Problems.- 7. Canonization for Two Variables.
「Nielsen BookData」 より