Chapter 4: Fixed-Point Logic with Counting

Open Access

VOL. 9 | 1997 Chapter 4: Fixed-Point Logic with Counting

Martin Otto

Lecture Notes Logic, 1997: 97-114 (1997)

First Page PDF

CHAPTER
18 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

Bounded Variable Logics and Counting: A Study in Finite Models

Vol. 9 • 1 January 1997

Association for Symbolic Logic