``Backward'' coinduction, Nash equilibrium and the rationality of escalation
type: Item
instance of: scholarly article
title: ``Backward'' coinduction, Nash equilibrium and the rationality of escalation
zbMATH Open document ID: 1262.91039
author: Pierre Lescanne
author: Matthieu Perrinel
published in: Acta Informatica
publication date: 2012-10-15T00:00:00Z
Mathematics Subject Classification ID: 91A26
Mathematics Subject Classification ID: 91A20
Mathematics Subject Classification ID: 91B26
zbMATH DE Number: 6093688
describes a project that uses: CIRC
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: s00236-012-0153-3
OpenAlex ID: W2062600857
cites work: Backward induction and common knowledge of rationality
cites work: Typed Lambda Calculi and Applications
cites work: Affine functions and series with co-inductive real numbers
cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
cites work: An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
cites work: Certifying circuits in type theory
cites work: Q4850061
cites work: Q5422500
cites work: Q3621193
cites work: Substantive rationality and backward induction
cites work: Q5302560
cites work: Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
cites work: CIRC: A Behavioral Verification Tool Based on Circular Coinduction
cites work: The determinacy of Blackwell games
cites work: Market News in Commodity Price Theory: Application to the Ethiopian Grain Market
cites work: Q3576736
cites work: Origins of bisimulation and coinduction
cites work: Belief revision in games: Forward and backward induction
cites work: Computability and λ-definability
cites work: A constructive approach to sequential Nash equilibria
cites work: Proving equality of streams automatically
DOI: 10.1007/S00236-012-0153-3
description: scientific article; zbMATH DE number 6093688