Journal of Philosophical Logic 22 (2):169 - 192 (1993)
|Abstract||I develop a probabilistic semantics for modal logic that generalizes the quantificational apparatus of Kripke models. Soundness and completeness theorems are proved for propositional M, B, S4, and S5. My semantics formalizes the idea that uncertainty about modal claims like "Possibly-A" arises from the fact that thought experiments which test the intelligibility of A may be inconclusive for a given agent. On this view, an agent who is uncertain about "Possibly-A" assigns at least as much credibility to "Possibly-A" as s/he assigns to A in any of the inconclusive thought experiments, but not more.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Maxwell J. Cresswell (2006). From Modal Discourse to Possible Worlds. Studia Logica 82 (3):307 - 327.
Charles G. Morgan (1975). Weak Liberated Versions of T and S. Journal of Symbolic Logic 40 (1):25-30.
Charles S. Chihara (1998). The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic. Oxford University Press.
Edward N. Zalta (1997). A Classically-Based Theory of Impossible Worlds. Notre Dame Journal of Formal Logic 38 (4):640-660.
Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Johan Benthem (1984). Possible Worlds Semantics: A Research Program That Cannot Fail? Studia Logica 43 (4):379 - 393.
Igor Sedlar (2009). C. I. Lewis on Possible Worlds. History and Philosophy of Logic 30 (3):283-291.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Added to index2009-01-28
Total downloads15 ( #78,526 of 548,977 )
Recent downloads (6 months)1 ( #63,511 of 548,977 )
How can I increase my downloads?