The modal logics of the poison game

DOI10.1007/978-981-15-2221-5_1zbMATH Open1547.03166MaRDI QIDQ6601761FDOQ6601761

Carlos Areces, Krzysztof Mierzewski, Francesca Zaffora Blando

Publication date: 11 September 2024

Mathematics Subject Classification ID

2-person games (91A05) Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An application of games to the completeness problem for formalized theories
• Hybrid languages
• THE EXPRESSIVE POWER OF MEMORY LOGICS
• Mathematical Foundations of Computer Science 2003
• Mechanizing Mathematical Reasoning
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Modal logics of sabotage revisited
• Relation-changing modal operators: Fig. 1.
• Kernels in directed graphs: A poison game
• Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

This page was built for publication: The modal logics of the poison game

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