Application of Systems that are Intermediate between S4 and S5 in Epistemic Contexts
Abstract
The article presents systems of modal logics that are stronger than the S4 and weaker than the S5 systems. After a syntactic and semantic presentation of the systems, they are presented as applied to expressing the property of time. Then, after a discussion of some of Hintikka’s arguments concerning “the only” logic proper for the concept of knowledge and belief, against the background of a discussion of various concepts of knowledge and convictions, the application of the S4.2, S4.3, S4F systems as well as of the S4.4 system for expressing properties of epistemic concepts is shown.
References
Georgacarakos G.: Semantics for S4.04, S4.4, and S4.3.2, „Notre Dame Journal of Formal Logic” 17 (1976), s. 297-302.
Hintikka J.: Knowledge and Belief, Ithaka: Cornell University Press 1962.
Lenzen W.: Epistemic logic, [w:] I. Niniluoto, M. Sintonen, J. Woleński, Handbook of Epistemology, Dordrecht: Kluwer 2004, s. 963-983.
Lenzen W.: Recent Work in Epistemic Logic, „Acta Philosophica Fennica” 30 (1978).
Schwartz G.: In Search of a “True” Logic of Knowledge: the Nonmonotonic Perspective, „Artificial Intelligence” 79 (1995), s. 39-63.
Stalnaker R.: On Logics of Knowledge and Belief, „Philosophical Studies” 128 (2006), s. 169-199.
Zeman J.: Modal Logic, Oxford: Clarendon Press 1973.
Zeman J.: Modal Systems in which Necessity is “Factorable”, „Notre Dame Journal of Formal Logic” 10 (1969), s. 247-256.
Zeman J.: A study of some Systems in the Neighborhood of S4.4, „Notre Dame Journal of Formal Logic” 12 (1971), s. 341-357.
Zeman J.: Semantics for S4.3.2, „Notre Dame Journal of Formal Logic” 13 (1972), s. 454 -460.
Copyright (c) 2010 Roczniki Filozoficzne
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
