Complete problems for fixed-point logics

Journal of Symbolic Logic 60 (2):517-527 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 83,802

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

Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
The expressive power of fixed-point logic with counting.Martin Otto - 1996 - Journal of Symbolic Logic 61 (1):147-176.
Modal incompleteness revisited.Tadeusz Litak - 2004 - Studia Logica 76 (3):329 - 342.

Analytics

Added to PP
2009-01-28

Downloads
23 (#530,329)

6 months
1 (#494,451)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A double arity hierarchy theorem for transitive closure logic.Martin Grohe & Lauri Hella - 1996 - Archive for Mathematical Logic 35 (3):157-171.

Add more citations

References found in this work

Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
[Omnibus Review].Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.
Some Remarks on Generalized Spectra.L. Lovász & P. Gács - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):547-554.
Some Remarks on Generalized Spectra.L. Lovász & P. Gács - 1976 - Mathematical Logic Quarterly 23 (36):547-554.

Add more references