Bounded variable logics and counting : a study in finite models

書誌事項

Bounded variable logics and counting : a study in finite models

Martin Otto

(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」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA29670348
  • ISBN
    • 3540620370
  • LCCN
    96051089
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berlin ; Tokyo
  • ページ数/冊数
    ix, 183 p.
  • 大きさ
    24 cm
  • 件名
  • 親書誌ID
ページトップへ