Reasoning About Justied Belief
Adam Bjorndahl, Jospeh Y. Halpern, Rafael Pass · 2011
Halpern and Pass [2011] introduce a logic of justied belief and go on to prove that strong rationalizability is characterized in this logic in terms of common justied belief of rationality (CJBR). Their paper provides semantics for this logic but no axiomatization. We correct this deciency by reformulating the denition of justied 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.