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 disponibile come:
Anteprima |
Documento di testo(pdf)
Licenza: Creative Commons Attribution Non-commercial 3.0 (CC BY-NC 3.0) Download (1MB) | Anteprima |
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