Arbeitspapier
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.
- Sprache
-
Englisch
- Erschienen in
-
Series: Quaderni - Working Paper DSE ; No. 350
- Klassifikation
-
Wirtschaft
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Benassi, Corrado
Gentilini, Paolo
- Ereignis
-
Veröffentlichung
- (wer)
-
Alma Mater Studiorum - Università di Bologna, Dipartimento di Scienze Economiche (DSE)
- (wo)
-
Bologna
- (wann)
-
1999
- DOI
-
doi:10.6092/unibo/amsacta/4959
- Handle
- Letzte Aktualisierung
-
10.03.2025, 11:42 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Arbeitspapier
Beteiligte
- Benassi, Corrado
- Gentilini, Paolo
- Alma Mater Studiorum - Università di Bologna, Dipartimento di Scienze Economiche (DSE)
Entstanden
- 1999
Ähnliche Objekte (12)
Common reasoning in games: A Lewisian analysis of common knowledge of rationality
Cayley Structures and the Expressiveness of Common Knowledge Logic
Common knowledge of rationality and market clearing in economies with asymmetric information
Modeling common sense knowledge via scripts
A common rationality : muʿtazilism in Islam and Judaism
A common rationality : Muʿtazilism in Islam and Judaism
Common belief in future and restricted past rationality
A Common Rationality: Muʿtazilism in Islam and Judaism
Zeitschrift. Common Knowledge
A Common Rationality: Mu'tazilism in Islam and Judaism
Integrating common sense knowledge in visual question answering systems
The dynamics of judicial proof : computation, logic, and common sense ; with 5 tables
Common reasoning in games: A Lewisian analysis of common knowledge of rationality
Cayley Structures and the Expressiveness of Common Knowledge Logic
Common knowledge of rationality and market clearing in economies with asymmetric information
Modeling common sense knowledge via scripts
A common rationality : muʿtazilism in Islam and Judaism
A common rationality : Muʿtazilism in Islam and Judaism
Common belief in future and restricted past rationality
A Common Rationality: Muʿtazilism in Islam and Judaism
Zeitschrift. Common Knowledge
A Common Rationality: Mu'tazilism in Islam and Judaism
Integrating common sense knowledge in visual question answering systems
The dynamics of judicial proof : computation, logic, and common sense ; with 5 tables
Common reasoning in games: A Lewisian analysis of common knowledge of rationality
Cayley Structures and the Expressiveness of Common Knowledge Logic
Common knowledge of rationality and market clearing in economies with asymmetric information
Modeling common sense knowledge via scripts
A common rationality : muʿtazilism in Islam and Judaism
A common rationality : Muʿtazilism in Islam and Judaism
Common belief in future and restricted past rationality
A Common Rationality: Muʿtazilism in Islam and Judaism
Zeitschrift. Common Knowledge
A Common Rationality: Mu'tazilism in Islam and Judaism
Integrating common sense knowledge in visual question answering systems