Benassi, Corrado ; Gentilini, Paolo
(1999)
Common Knowledge and Common Rationality Through Provability Logic.
Bologna:
Dipartimento di Scienze economiche DSE,
p. 26.
DOI 10.6092/unibo/amsacta/4959.
In: Quaderni - Working Paper DSE
(350).
ISSN 2282-6483.
Full text available as:
Preview |
Text(pdf)
License: Creative Commons: Attribution-Noncommercial 3.0 (CC BY-NC 3.0) Download (1MB) | Preview |
Abstract
The paper proposes a formalization of rational agents as first-order consistent formal systems. On this basis we build a notion of common knowledge and common rationality, among agents who are globally inconsistent with each other. An existence theorem for a formal system of common rationality is provided.
Abstract
Other metadata
Downloads
Downloads
Staff only:
