On fixed-point logic with counting

&
Journal of Symbolic Logic 65 (2):777-787 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586569

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Iterative and fixed point common belief.Aviad Heifetz - 1999 - Journal of Philosophical Logic 28 (1):61-79.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
Complete problems for fixed-point logics.Martin Grohe - 1995 - Journal of Symbolic Logic 60 (2):517-527.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Some unifying fixed point principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
The expressive power of fixed-point logic with counting.Martin Otto - 1996 - Journal of Symbolic Logic 61 (1):147-176.

Analytics

Added to PP
2009-01-28

Downloads
54 (#295,373)

6 months
7 (#428,584)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2001 - Studia Logica 69 (3):449-449.
Logics that define their own semantics.H. Imhof - 1999 - Archive for Mathematical Logic 38 (8):491-513.

Add more references