Games with 1-backtracking
DOI10.1016/J.APAL.2010.03.002zbMATH Open1241.03006OpenAlexW2031660859MaRDI QIDQ636360FDOQ636360
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
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
- scientific article
- Games with combinatorial constraints
- Publication:4934562
- scientific article; zbMATH DE number 6296052
game semanticsbacktrackingclassical logiccomputabilitylearning in the limitconstructive content of classical theoremslimit computable mathematicsrecursive degree
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)
Cites Work
- On full abstraction for PCF: I, II and III
- A semantics of evidence for classical arithmetic
- Classical recursion theory. Vol. II
- Mathematics based on incremental learning -- excluded middle and inductive inference
- Can proofs be animated by games?
- Title not available (Why is that?)
- Toward the interpretation of non-constructive reasoning as non-monotonic learning
- A sequent calculus for limit computable mathematics
- Positive Arithmetic Without Exchange Is a Subclassical Logic
Cited In (10)
- Fluctuations, effective learnability and metastability in analysis
- A sequent calculus for limit computable mathematics
- Automata, Languages and Programming
- Game semantics and the geometry of backtracking: a new complexity analysis of interaction
- Games with sequential backtracking and complete game semantics for subclassical logics
- Positive Arithmetic Without Exchange Is a Subclassical Logic
- A New Translation for Semi-classical Theories — Backtracking without CPS
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
- Toward the interpretation of non-constructive reasoning as non-monotonic learning
- Backtracking games and inflationary fixed points
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)
