First-order intensional logic

Annals of Pure and Applied Logic 127 (1-3):171-193 (2004)
Abstract
First - order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently, several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been involved with this line of development for some time. In the present paper, I briefly sketch several of the approaches to first - order modal logic. Then I present one that I call FOIL in the Montague tradition that, I believe, is both expressive and natural. I briefly discuss in what sense it can be made to encompass the other approaches. Finally, I provide tableau rules to go with the FOIL semantics
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2003.11.014
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,564
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
Counterpart Theory and Quantified Modal Logic.David K. Lewis - 1968 - Journal of Philosophy 65 (5):113-126.
Counterparts of Persons and Their Bodies.David Lewis - 1971 - Journal of Philosophy 68 (7):203-211.
Pragmatics and Intensional Logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.

View all 12 references / Add more references

Citations of this work BETA
CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.
Unifying Quantified Modal Logic.James W. Garson - 2005 - Journal of Philosophical Logic 34 (5-6):621-649.
BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
FOIL Axiomatized.Melvin Fitting - 2006 - Studia Logica 84 (1):1-22.

View all 7 citations / Add more citations

Similar books and articles
Added to PP index
2010-12-22

Total downloads
58 ( #103,665 of 2,235,677 )

Recent downloads (6 months)
5 ( #122,344 of 2,235,677 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature