Games with 1-backtracking

DOI10.1016/J.APAL.2010.03.002MaRDI QIDQ636360zbMATH OpenOpenAlexFDO

Authors Stefano Berardi, Thierry Coquand, Susumu Hayashi

Publication date 26 August 2011

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2010.03.002

zbMATH Keywords

game semanticsbacktrackingclassical logiccomputabilitylearning in the limitconstructive content of classical theoremslimit computable mathematicsrecursive degree

Mathematics Subject Classification ID

Games involving graphs (91A43) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Undecidability and degrees of sets of sentences (03D35) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 2067978
• scientific article; zbMATH DE number 2067966
• One-counter stochastic games
• Reachability in succinct one-counter games
• Repeated games with one-memory
• Backward induction for repeated games
• Games with combinatorial constraints
• Publication:4934562
• scientific article; zbMATH DE number 6296052

Cites work

• scientific article; zbMATH DE number 2085171 (Why is no real title available?)
• A semantics of evidence for classical arithmetic
• A sequent calculus for limit computable mathematics
• Can proofs be animated by games?
• Classical recursion theory. Vol. II
• Mathematics based on incremental learning -- excluded middle and inductive inference
• On full abstraction for PCF: I, II and III
• Positive Arithmetic Without Exchange Is a Subclassical Logic
• Toward the interpretation of non-constructive reasoning as non-monotonic learning

Cited in

(10)

• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
• Fluctuations, effective learnability and metastability in analysis
• A sequent calculus for limit computable mathematics
• A New Translation for Semi-classical Theories — Backtracking without CPS
• Game semantics and the geometry of backtracking: a new complexity analysis of interaction
• Backtracking games and inflationary fixed points
• Toward the interpretation of non-constructive reasoning as non-monotonic learning
• Automata, Languages and Programming
• Games with sequential backtracking and complete game semantics for subclassical logics
• Positive Arithmetic Without Exchange Is a Subclassical Logic

This page was built for publication: Games with 1-backtracking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636360)