Investigations into Quantified Modal Logic

Notre Dame Journal of Formal Logic 43 (4):193-220 (2002)
Abstract
In this paper, I investigate a system of quantified modal logic, due in many respects to Bressan (see [2]), from several perspectives -- both semantic and proof-theoretic. As Anderson and Belnap note in [1]: "It seems to be generally conceded that formal systems are natural or substantial if they can be looked at from several points of view. We tend to think of systems as artificial or ad hoc if most of their formal properties arise from some one notational system in terms of which they are described." My efforts in this paper will be in part to lend substantiality to the system in question. Several formulation of the system are given and proved equivalent in appropriate senses. Also, some comments are made concerning possible alternative formulations
Keywords first-order modal logic   serious actualism
Categories (categorize this paper)
DOI 10.1305/ndjfl/1074396306
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: 31,334
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
A Unified Completeness Theorem for Quantified Modal Logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Investigations Into Quantified Modal Logic-I.Zane Parks - 1976 - Studia Logica 35 (2):109 - 125.
'Now' and 'Then' in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
The True Modal Logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Divine Command Theory and the Semantics of Quantified Modal Logic.David Efird - 2009 - In Yujin Nagasawa & Erik J. Wielenberg (eds.), New Waves in Philosophy of Religion. Palgrave-Macmillan. pp. 91.
Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge University Press.
The Modal Ontological Argument Meets Modal Fictionalism.T. Parent - 2016 - Analytic Philosophy 57 (4):338-352.
Essentialism in Quantified Modal Logic.Thomas J. McKay - 1975 - Journal of Philosophical Logic 4 (4):423 - 438.
Added to PP index
2010-08-24

Total downloads
19 ( #291,053 of 2,225,262 )

Recent downloads (6 months)
3 ( #181,125 of 2,225,262 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature