Completeness and Decidability of General First-Order Logic

Journal of Philosophical Logic 46 (3):233-257 (2017)
  Copy   BIBTEX

Abstract

This paper investigates the “general” semantics for first-order logic introduced to Antonelli, 637–58, 2013): a sound and complete axiom system is given, and the satisfiability problem for the general semantics is reduced to the satisfiability of formulas in the Guarded Fragment of Andréka et al. :217–274, 1998), thereby showing the former decidable. A truth-tree method is presented in the Appendix.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,410

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Guards, Bounds, and Generalized Semantics.Johan Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
Guards, Bounds, and generalized semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
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.
Fragments of first-order logic.Ian Pratt-Hartmann - 2023 - Oxford: Oxford University Press.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
The guarded fragment with transitive guards.Wiesław Szwast & Lidia Tendera - 2004 - Annals of Pure and Applied Logic 128 (1-3):227-276.
Fragments of language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.

Analytics

Added to PP
2017-03-11

Downloads
48 (#371,131)

6 months
11 (#246,537)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

G. Aldo Antonelli
University of California, Davis

Citations of this work

Carnap’s Problem, Definability and Compositionality.Pedro del Valle-Inclán - 2024 - Journal of Philosophical Logic 53 (5):1321-1346.

Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
English as a Formal Language.Richard Montague - 1970 - In B. Visentini (ed.), Linguaggi Nella Societ\'{a} e Nella Tecnica'. Edizioni di Communita. pp. 188-221.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.

View all 13 references / Add more references