Common Knowledge and Common Rationality Through Provability Logic

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.

MoreLess

Year of publication:	1999
Authors:	Benassi, Corrado ; Gentilini, Paolo
Publisher:	Bologna : Alma Mater Studiorum - Università di Bologna, Dipartimento di Scienze Economiche (DSE)

More details

Series:	Quaderni - Working Paper DSE ; 350
Type of publication:	Book / Working Paper
Type of publication (narrower categories):	Working Paper
Language:	English
Other identifiers:	10.6092/unibo/amsacta/4959 [DOI] hdl:10419/159191 [Handle] RePEc:bol:bodewp:350 [RePEc]
Source:	EconStor

Persistent link: https://www.econbiz.de/10011651244