EconPapers    
Economics at your fingertips  
 

Common Knowledge and Common Rationality Through Provability Logic

Corrado Benassi and P. Gentilini

Working Papers from Dipartimento Scienze Economiche, Universita' di Bologna

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.

Date: 1999-03
References: Add references at CitEc
Citations: Track citations by RSS feed

Downloads: (external link)
http://amsacta.unibo.it/4959/1/350.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

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 ().

 
Page updated 2022-09-30
Handle: RePEc:bol:bodewp:350