From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2014.12.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1871186312
@@ Property / OpenAlex ID: W1871186312 / rank @@
+Normal rank
@@ Property / cites work @@
+Retracing some paths in process algebra
@@ Property / cites work: Retracing some paths in process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Cook's Tour of the Finitary Non-Well-Founded Sets
+Normal rank
@@ Property / cites work @@
+New foundations for the geometry of interaction
@@ Property / cites work: New foundations for the geometry of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Games
@@ Property / cites work: Admissibility in Games / rank @@
+Normal rank
@@ Property / cites work @@
+An impossibility theorem on beliefs in games
@@ Property / cites work: An impossibility theorem on beliefs in games / rank @@
+Normal rank
@@ Property / cites work @@
+Strong belief and forward induction reasoning.
@@ Property / cites work: Strong belief and forward induction reasoning. / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
+Normal rank
@@ Property / cites work @@
+Topology-free typology of beliefs
@@ Property / cites work: Topology-free typology of beliefs / rank @@
+Normal rank
@@ Property / cites work @@
+Stone coalgebras
@@ Property / cites work: Stone coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622402
@@ Property / cites work: Q5622402 / rank @@
+Normal rank
@@ Property / cites work @@
+Topologies on Spaces of Subsets
@@ Property / cites work: Topologies on Spaces of Subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Final coalgebras for functors on measurable spaces
+Normal rank
@@ Property / cites work @@
+Understanding the Brandenburger-Keisler paradox
@@ Property / cites work: Understanding the Brandenburger-Keisler paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and fixed points: A discussion and an extension of Lawvere's theorem
+Normal rank
@@ Property / cites work @@
+Q4256309
@@ Property / cites work: Q4256309 / rank @@
+Normal rank
@@ Property / cites work @@
+A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
+Normal rank