``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039): Difference between revisions

@@ Property / cites work @@
+Backward induction and common knowledge of rationality
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Affine functions and series with co-inductive real numbers
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
+Normal rank
@@ Property / cites work @@
+Certifying circuits in type theory
@@ Property / cites work: Certifying circuits in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422500
@@ Property / cites work: Q5422500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3621193
@@ Property / cites work: Q3621193 / rank @@
+Normal rank
@@ Property / cites work @@
+Substantive rationality and backward induction
@@ Property / cites work: Substantive rationality and backward induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302560
@@ Property / cites work: Q5302560 / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
+Normal rank
@@ Property / cites work @@
+CIRC: A Behavioral Verification Tool Based on Circular Coinduction
+Normal rank
@@ Property / cites work @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Market News in Commodity Price Theory: Application to the Ethiopian Grain Market
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Origins of bisimulation and coinduction
@@ Property / cites work: Origins of bisimulation and coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Belief revision in games: Forward and backward induction
+Normal rank
@@ Property / cites work @@
+Computability and λ-definability
@@ Property / cites work: Computability and λ-definability / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive approach to sequential Nash equilibria
+Normal rank
@@ Property / cites work @@
+Proving equality of streams automatically
@@ Property / cites work: Proving equality of streams automatically / rank @@
+Normal rank