On S5 modal logic as epistemic logic:
Joseph Y. Halpern, Yoram Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54 3 (1992) 319-379
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning About Knowledge, The MIT Press (1995) ISBN:9780262562003
Created on July 26, 2023 at 20:52:11. See the history of this page for a list of all contributions to it.