DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE

DOI10.1017/S1755020309990141zbMath1186.03030MaRDI QIDQ3644801

Joseph Y. Halpern, Ella Segev, Dov Samet

Publication date: 12 November 2009

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

epistemic logicdoxastic logiclogic of justificationdefinability in modal logicdefinability of belief in terms of knowledgedefinability of knowledge in terms of belief

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (16)

Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Contemporary epistemic logic and the Lockean thesis ⋮ Common belief of rationality in games of perfect information ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ A Modal Logic of Knowledge, Belief, and Estimation ⋮ Knowledge means ‘all’, belief means ‘most’ ⋮ Impure Simplicial Complexes: Complete Axiomatization ⋮ Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms ⋮ An analytic tableau calculus for a temporalised belief logic ⋮ Conditional belief types ⋮ Intricate axioms as interaction axioms ⋮ Timed epistemic knowledge bases for social networks ⋮ Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility ⋮ SMALL INFINITARY EPISTEMIC LOGICS ⋮ The impossibility of agreeing to disagree: an extension of the sure-thing principle

Cites Work

• Unnamed Item
• Semantics for S4.04, S4.4 and S4.3.2
• Synonymous logics
• Introducing Justification into Epistemic Logic
• Systems for Knowledge and Belief

This page was built for publication: DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE