Abstract
In his Essay in Modal Logic, G. H. von Wright suggested that the logic of knowledge or epistemic logic is a branch of modal logic.1 E. J. Lemmon has recommended a system of epistemic logic based on the Feys-von Wright modal system M,2 and in Knowledge and Belief Jaakko Hintikka proposed a stronger system which corresponds to Lewis's S4.3 The distinctive axiom of S4 is 'Np^NNp',* and the epistemic counter part of this formula is the principle that knowing implies knowing that one knows, that is,
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.