Propositional games with explicit strategies

DOI10.1016/J.IC.2008.11.005MaRDI QIDQ731893zbMATH OpenOpenAlexFDO

Authors Bryan Renne

Publication date 9 October 2009

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2008.11.005

zbMATH Keywords

game semanticsjustification logiclogic of proofsNim

Mathematics Subject Classification ID

Applications of game theory (91A80) 2-person games (91A05) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Propositional games with explicit strategies
• An introduction to game logic
• Constructive game logic
• Games and winning strategies
• Strategy logic

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 3078993 (Why is no real title available?)
• scientific article; zbMATH DE number 3106184 (Why is no real title available?)
• Explicit provability and constructive semantics
• Henkin quantifiers: logic, games, and computation.
• Introducing Justification into Epistemic Logic
• Introduction to computability logic
• Justification Logic
• Justification logics, logics of knowledge, and conservativity
• Justified and Common Knowledge: Limited Conservativity
• Justified common knowledge
• Signalling in languages with imperfect information
• The basic intuitionistic logic of proofs
• The logic of proofs, semantically

Cited in

(7)

• The logic of uncertain justifications
• A semantics of evidence for classical arithmetic
• Constructive game logic
• On definitive solutions of strategic games
• scientific article; zbMATH DE number 3860925 (Why is no real title available?)
• Justifications for common knowledge
• Propositional games with explicit strategies

This page was built for publication: Propositional games with explicit strategies

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