Repository | Journal | Volume | Articles
(1988) Synthese 74 (2).
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.
Publication details
DOI: 10.1007/BF00869554
Full citation:
Carlson, L. (1988). Quantified Hintikka-style epistemic logic. Synthese 74 (2), pp. 223-262.
This document is unfortunately not available for download at the moment.