Propositional Games with Explicit Strategies

DOI10.1016/J.ENTCS.2006.05.042zbMath1262.03124OpenAlexW2021045498MaRDI QIDQ4917994

Bryan Renne

Publication date: 3 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.05.042

zbMATH Keywords

logic of proofsgame-theoretic semanticsGTS

Mathematics Subject Classification ID

Other game-theoretic models (91A40) Combinatorial games (91A46) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs

Cites Work

• Explicit Provability and Constructive Semantics
• An application of games to the completeness problem for formalized theories

This page was built for publication: Propositional Games with Explicit Strategies