Propositional games with explicit strategies

DOI10.1016/J.IC.2008.11.005zbMath1207.03027OpenAlexW2100767166MaRDI QIDQ731893

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

logic of proofsgame semanticsjustification logicNim

Mathematics Subject Classification ID

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

Related Items (3)

Justifications for common knowledge ⋮ The logic of uncertain justifications ⋮ On Definitive Solutions of Strategic Games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Justification logics, logics of knowledge, and conservativity
• Introduction to computability logic
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• Justification Logic
• The basic intuitionistic logic of proofs
• Justified and Common Knowledge: Limited Conservativity
• Signalling in languages with imperfect information

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