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)

Categories

Keywords

Reprint years

DOI

10.2307/2275847

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,377

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

Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 , pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp. [REVIEW]Anuj Dawar - 1998 - Journal of Symbolic Logic 63 (1):329-331.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Strong Completeness Theorems for Weak Logics of Common Belief.Lismont Luc & Mongin Philippe - 2003 - Journal of Philosophical Logic 32 (2):115-137.
Admissibility of Cut in LC with Fixed Point Combinator.Katalin Bimbó - 2005 - Studia Logica 81 (3):399-423.
Provability logics relative to a fixed extension of peano arithmetic.Taishi Kurahashi - 2018 - Journal of Symbolic Logic 83 (3):1229-1246.
Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion.Thomas Strahm - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.

Analytics

Added to PP
2009-01-28

Downloads
41 (#427,975)

6 months
15 (#284,461)

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

[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.
Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
Some Remarks on Generalized Spectra.L. Lovász & P. Gács - 1976 - Mathematical Logic Quarterly 23 (36):547-554.
Some Remarks on Generalized Spectra.L. Lovász & P. Gács - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):547-554.

Add more references