From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference

DOI10.1007/978-3-642-32784-1_1zbMath1328.03012arXiv1006.0992OpenAlexW3157999207WikidataQ57006498 ScholiaQ57006498MaRDI QIDQ2914673

Samson Abramsky, Jonathan Alexander Zvesper

Publication date: 20 September 2012

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1006.0992

Mathematics Subject Classification ID

2-person games (91A05) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Rationality and learning in game theory (91A26)

Related Items (1)

Substantive assumptions in interaction: a logical perspective

This page was built for publication: From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference