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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

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

On Quantified Modal Logic.Melvin Fitting - unknown
Another Neighbourhood Semantics for Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.
The ground-negative fragment of first-order logic is πp2-complete.Andrei Voronkov - 1999 - Journal of Symbolic Logic 64 (3):984 - 990.
Decidable and undecidable fragments in First order logic.Ricardo José Da Silva & Franklin Galindo - 2017 - Apuntes Filosóficos 26 (50):90-113.
Inexpressiveness of First-Order Fragments.William C. Purdy - 2006 - Australasian Journal of Logic 4 (5):1-12.
Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
IF first-order logic and truth-definitions.Gabriel Sandu - 1997 - Journal of Philosophical Logic 26.
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.Victor N. Krivtsov - 2015 - Studia Logica 103 (3):623-638.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic.Gianluca Grilletti - 2021 - Journal of Logic, Language and Information 30 (4):725-751.

Analytics

Added to PP
2014-01-21

Downloads
43 (#518,085)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1996 - 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.
Undecidable relativizations of algebras of relations.Szabolcs Mikulas & Maarten Marx - 1999 - Journal of Symbolic Logic 64 (2):747-760.

Add more citations

References found in this work

No references found.

Add more references