Parity Games and Propositional Proofs

DOI10.1007/978-3-642-40313-2_12MaRDI QIDQ2849902zbMATH OpenOpenAlexFDO

Authors Arnold Beckmann, Pavel Pudlák, Neil Thapen

Publication date 20 September 2013

Published in Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40313-2_12

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20) Combinatorial games (91A46)

Recommendations

• Parity Games and Propositional Proofs
• From parity games to circular proofs
• Parity games and automata for game logic
• Reachability games and parity games
• Proofs as Games
• Some remarks on relations between proofs and games
• Game theoretical semantics for paraconsistent logics
• Partiality and games: Propositional logic
• Justifications and a reconstruction of parity game solving algorithms
• Proof systems and transformation games

Cited in

(4)

• Mean-payoff games and propositional proofs
• Mean-payoff games and propositional proofs
• From parity games to circular proofs
• Parity Games and Propositional Proofs

This page was built for publication: Parity Games and Propositional Proofs

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