Reasoning about justified belief

Authors:
Adam Bjorndahl;Joseph Y. Halpern;Rafael Pass
Affiliations:
Cornell University, Ithaca, NY;Cornell University, Ithaca, NY;Cornell University, Ithaca, NY
Venue:
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Year:
2011

Citing 3
Cited 0

A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Reasoning About Knowledge

Reasoning About Knowledge
Introducing Justification into Epistemic Logic

Journal of Logic and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Halpern and Pass [8] introduce a logic of justified belief and go on to prove that strong rationalizability is characterized in this logic in terms of common justified belief of rationality (CJBR). Their paper provides semantics for this logic but no axiomatization. We correct this deficiency by reformulating the definition of justified belief and providing a complete axiomatization of this new system. We then prove a result analogous to the characterization of strong rationalizability in terms of CJBR, and analyze the additional assumptions needed to do so.