From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
From MaRDI portal
Publication:2341698
DOI10.1016/j.jcss.2014.12.001zbMath1328.03013OpenAlexW1871186312WikidataQ57006410 ScholiaQ57006410MaRDI QIDQ2341698
Samson Abramsky, Jonathan Alexander Zvesper
Publication date: 28 April 2015
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jcss.2014.12.001
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)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stone coalgebras
- Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
- An impossibility theorem on beliefs in games
- Topology-free typology of beliefs
- New foundations for the geometry of interaction
- Universal coalgebra: A theory of systems
- Strong belief and forward induction reasoning.
- Terminal coalgebras in well-founded set theory
- Understanding the Brandenburger-Keisler paradox
- Final coalgebras for functors on measurable spaces
- A Cook's Tour of the Finitary Non-Well-Founded Sets
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- Continuous Lattices and Domains
- A final coalgebra theorem
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- Admissibility in Games
- Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
- Topologies on Spaces of Subsets
- Retracing some paths in process algebra
This page was built for publication: From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference