Publication:6601761: Difference between revisions
From MaRDI portal
Publication:6601761
Created automatically from import250213030230 |
(No difference)
|
Latest revision as of 18:25, 13 February 2025
DOI10.1007/978-981-15-2221-5_1zbMATH Open1547.03166MaRDI QIDQ6601761FDOQ6601761
Carlos Areces, Krzysztof Mierzewski, Francesca Zaffora Blando
Publication date: 11 September 2024
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)
