Quantified Hintikka-style epistemic logic |
| |
Authors: | Lauri Carlson |
| |
Institution: | (1) Research Unit for Computational Linguistics, University of Helsinki, Hallitaskatu 11-13, SF-00100 Helsinki 10, Finland |
| |
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: | |
本文献已被 SpringerLink 等数据库收录! |
|