Modal Logics Between Propositional and First Order

Melvin Fitting
CUNY Graduate Center
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if terms are allowed to be non-rigid, a scoping mechanism (usually written using lambda abstraction) must also be introduced to avoid ambiguity. Since quantifiers are not present, this is not really a first-order logic, but it is not exactly propositional either. For propositional logics such as K, T and D, adding such machinery produces a decidable logic, but adding it to S5 produces an undecidable one. Further, if an equality symbol is in the language, and interpreted by the equality relation, logics from K4 to S5 yield undecidable versions. (Thus transitivity is the villain here.) The proof of undecidability consists in showing that classical first-order logic can be embedded.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,736
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

First-Order Intensional Logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.
Intensional Logic.Melvin Fitting - 2008 - Stanford Encyclopedia of Philosophy.
FOIL Axiomatized.Melvin Fitting - 2006 - Studia Logica 84 (1):1-22.
Linear-Time Temporal Logics with Presburger Constraints: An Overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.

Add more citations

Similar books and articles


Added to PP index

Total views
28 ( #292,145 of 2,243,780 )

Recent downloads (6 months)
2 ( #813,811 of 2,243,780 )

How can I increase my downloads?


My notes

Sign in to use this feature