|
|||||
|
|
On the Logic of Common Belief |
|
| Authors: | Giacomo Bonanno |
| Abstract: | We investigate an axiomatization of the notion of common belief (knowledge) that makes use of no rules of inference (apart from Modus Ponens and Necessitation) and highlight the property of the set of accessibility relations that characterizes each axiom. Mathematics Subject Classification: 03B45, 68T25. |
| Keywords: | Multi-modal logic Common belief Kripke model |