Common Knowledge and Common Rationality Through Provability Logic
Corrado Benassi and
Working Papers from Dipartimento Scienze Economiche, Universita' di Bologna
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.
References: Add references at CitEc
Citations: Track citations by RSS feed
Downloads: (external link)
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
Persistent link: https://EconPapers.repec.org/RePEc:bol:bodewp:350
Access Statistics for this paper
More papers in Working Papers from Dipartimento Scienze Economiche, Universita' di Bologna Contact information at EDIRC.
Bibliographic data for series maintained by Dipartimento Scienze Economiche, Universita' di Bologna ().