Logically Possible Worlds and Counterpart Semantics for Modal Logic
作者： Marcus Kracht , Oliver Kutz
DOI: 10.1016/B978-044451541-4/50025-7
关键词: Linguistics 、 Accessibility relation 、 Mathematics 、 Multimodal logic 、 Dynamic logic (modal logic) 、 Modal μ-calculus 、 Discrete mathematics 、 Modal logic 、 S5 、 Normal modal logic 、 Epistemic modal logic
摘要: Publisher Summary This chapter focuses on logically possible worlds and counterpart semantics for modal logic. Originally conceived as the logic of necessity possibility, philosophical roots go back at least far Aristotle Stoic Diodorus Cronus. The most common logics introduce notions a world, or situation, impose further structure by means more less complex relations, example, notion accessibility. Modal does not embody commitment to any sort—rather doctrines realism anti-realism are subject considerable debate. languages predicate that is considered differs from language propositional follows. First, there neither variables nor constants. Second, first-order second-order differ syntactically well with respect substitution principles assumed. discusses logic, objects in frames, semantical impact Haecceitism. Details metaframes status also presented this chapter.
uni-bielefeld.de 
sci-hub.st 参考文章(166)
M. J. Cresswell, How to Complete Some Modal Predicate Logics. advances in modal logic. pp. 155- 178 ,(1998)
Kit Fine, Some Connections Between Elementary and Modal Logic Proceedings of the Third Scandinavian Logic Symposium. ,vol. 82, pp. 15- 31 ,(1975) , 10.1016/S0049-237X(08)70723-7
Valentin B. Shehtman, Ilya Shapirovsky, Chronological Future Modality in Minkowski Spacetime. advances in modal logic. pp. 437- 460 ,(2002)
Allen Hazen, Counterpart-Theoretic Semantics for Modal Logic The Journal of Philosophy. ,vol. 76, pp. 319- 338 ,(1979) , 10.2307/2025472
David Kaplan, How to Russell a Frege-Church The Journal of Philosophy. ,vol. 72, pp. 716- 729 ,(1975) , 10.2307/2024635
Oliver Kutz, Marcus Kracht, The Semantics of Modal Predicate Logic I. Counterpart-Frames advances in modal logic. pp. 299- 320 ,(2000)
Daniel Gallin, Intensional and Higher-Order Modal Logic ,(1975)
Saul A. Kripke, A Puzzle about Belief Springer, Dordrecht. pp. 239- 283 ,(1979) , 10.1007/978-1-4020-4104-4_20
The Logic of Theory Change Springer-Verlag. ,(1991) , 10.1007/BFB0018413
Dana Scott, Advice on Modal Logic Springer, Dordrecht. pp. 143- 173 ,(1970) , 10.1007/978-94-010-3272-8_7