Quantified Hintikka-style epistemic logic
Synthese 74 (2):223 - 262 (1988)
| Abstract | This paper contains a formal treatment of the system of quantified epistemic logic sketched in Appendix II of Carlson (1983). Section 1 defines the syntax and recapitulates the model set rules and principles of the Appendix system. Section 2 defines a possible worlds semantics for this system, and shows that the Appendix system is complete with respect to this semantics. Section 3 extends the system by an explicit truth operatorT it is true that and considers quantification over nonexistent individuals. Section 4 formalizes the idea of variable identity criteria typical of Hintikkian epistemic logic. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJaakko Hintikka & John Symons (2003). Systems of Visual Identification in Neuroscience: Lessons From Epistemic Logic. Philosophy of Science 70 (1):89-104.
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
Edwin D. Mares (1992). Semantics for Relevance Logic with Identity. Studia Logica 51 (1):1 - 20.
Ross Thomas Brady (forthcoming). Free Semantics. Journal of Philosophical Logic.
Robert Goldblatt & Michael Kane (2010). An Admissible Semantics for Propositionally Quantified Relevant Logics. Journal of Philosophical Logic 39 (1).
Graham Priest (2002). The Hooded Man. Journal of Philosophical Logic 31 (5):445-467.
Ross T. Brady (1988). A Content Semantics for Quantified Relevant Logics. I. Studia Logica 47 (2):111 - 127.
Matti Eklund & Daniel Kolak (2002). Is Hintikka's Logic First-Order? Synthese 131 (3):371 - 388.
Edwin D. Mares & Robert Goldblatt (2006). An Alternative Semantics for Quantified Relevant Logic. Journal of Symbolic Logic 71 (1):163 - 187.
Richard Routley (1979). Alternative Semantics for Quantified First Degree Relevant Logic. Studia Logica 38 (2):211 - 231.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads12 ( #93,475 of 549,754 )Recent downloads (6 months)1 ( #63,425 of 549,754 )How can I increase my downloads? |
My notes
Discussion
