Fixed-point extensions of first-order logic

&
Annals of Pure and Applied Logic 32:265-280 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90055-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

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.
A map of common knowledge logics.Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki & Yoshihito Tanaka - 2002 - Studia Logica 71 (1):57-86.
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Iterative and fixed point common belief.Aviad Heifetz - 1999 - Journal of Philosophical Logic 28 (1):61-79.
Interpreting second-order logic in the monadic theory of order.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):816-828.
Explicit mathematics with the monotone fixed point principle. II: Models.Michael Rathjen - 1999 - Journal of Symbolic Logic 64 (2):517-550.
Characterizing Quantifier Extensions of Dependence Logic.Fredrik Engström & Juha Kontinen - 2013 - Journal of Symbolic Logic 78 (1):307-316.
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.

Analytics

Added to PP
2014-01-16

Downloads
40 (#399,415)

6 months
15 (#168,953)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Undecidability results on two-variable logics.Erich Grädel, Martin Otto & Eric Rosen - 1999 - Archive for Mathematical Logic 38 (4-5):313-354.
How to define a linear order on finite models.Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto - 1997 - Annals of Pure and Applied Logic 87 (3):241-267.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.

View all 21 citations / Add more citations

References found in this work

Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
Principles of Database Systems.Jeffrey D. Ullman, David Maier, Ashok K. Chandra & David Harel - 1986 - Journal of Symbolic Logic 51 (4):1079-1084.

Add more references