Decidability of First-Order Logic Exemplified. Part I

Ruch Filozoficzny 65 (3) (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Decidability of First-Order Logic Exemplified. Part II.Timm Lampert - 2008 - Ruch Filozoficzny 65 (4).
Decidability of First-order Logic.Timm Lampert - 2007 - Ruch Filozoficzny 4 (4).
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.Joanna Golinska-Pilarek - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 255--266.
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation.Mojżesz Presburger & Dale Jabcquette - 1991 - History and Philosophy of Logic 12 (2):225-233.
Small substructures and decidability issues for first-order logic with two variables.Emanuel Kieroński & Martin Otto - 2012 - Journal of Symbolic Logic 77 (3):729-765.
Decidability of cylindric set algebras of dimension two and first-order logic with two variables.Maarten Marx & Szabolcs Mikulás - 1999 - Journal of Symbolic Logic 64 (4):1563-1572.
Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Monodic packed fragment with equality is decidable.Ian Hodkinson - 2002 - Studia Logica 72 (2):185-197.
Issues of decidability and tractability.Witold Marciszewski (ed.) - 2006 - Białystok: University of Białystok.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Modest theory of short chains. I.Yuri Gurevich - 1979 - Journal of Symbolic Logic 44 (4):481-490.
A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.
Decidability and undecidability of theories with a predicate for the primes.P. T. Bateman, C. G. Jockusch & A. R. Woods - 1993 - Journal of Symbolic Logic 58 (2):672-687.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.

Analytics

Added to PP
2013-05-27

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Timm Lampert
Humboldt-University, Berlin

Citations of this work

Philosophy of Science in Germany, 1992–2012: Survey-Based Overview and Quantitative Analysis.Matthias Unterhuber, Alexander Gebharter & Gerhard Schurz - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (1):71-160.

Add more citations

References found in this work

No references found.

Add more references