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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,452

External links

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

Through your library

Similar books and articles

On Fixed-Point Logic with Counting.Jorg Flum & Martin Grohe - 2000 - Journal of Symbolic Logic 65 (2):777-787.
The expressive power of fixed-point logic with counting.Martin Otto - 1996 - Journal of Symbolic Logic 61 (1):147-176.
J. Flum and M. Grohe, Parameterized complexity theory.Thomas Schwentick - 2007 - Bulletin of Symbolic Logic 13 (2):246-248.
Bounded variable logics: two, three, and more. [REVIEW]Martin Otto - 1999 - Archive for Mathematical Logic 38 (4-5):235-256.
Rank logic is dead, long live rank logic!Erich Grädel & Wied Pakusa - 2019 - Journal of Symbolic Logic 84 (1):54-87.

Analytics

Added to PP
2009-01-28

Downloads
61 (#260,625)

6 months
11 (#350,042)

Historical graph of downloads
How can I increase my downloads?

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