Taming first-order logic

Logic Journal of the IGPL 6 (2):305-316 (1998)
  Copy   BIBTEX

Abstract

In this paper we define computationally well-behaved versions of classical first-order logic and prove that the validity problem is decidable

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/6.2.305

Links

PhilArchive



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

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

Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.
Taming of Power.Peter Katzenstein - 1993 - In Meredith Woo-Cumings & Michael Maurice Loriaux (eds.), Past as Prelude: History in the Making of a New World Order. Westview Press.
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Chapter 9a what is logic?J. R. Lucas - manuscript
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.
Do not claim too much: Second-order logic and first-order logic.Stewart Shapiro - 1999 - Philosophia Mathematica 7 (1):42-64.
Second-order Logic Revisited.Otavio Bueno - unknown
A second course in logic.Christopher Gauker - manuscript
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Strong logics of first and second order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.

Analytics

Added to PP
2014-01-21

Downloads
36 (#444,076)

6 months
1 (#1,473,216)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Tolerance logic.Maarten Marx - 2001 - Journal of Logic, Language and Information 10 (3):353-374.
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.

Add more citations

References found in this work

No references found.

Add more references