Publication:2702562
From MaRDI portal
zbMath0967.03021MaRDI QIDQ2702562
Publication date: 12 March 2001
modal logic; decidability; axiomatization; propositional dynamic logic; game logic; reasoning about winning strategies
91A99: Game theory
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
03B80: Other applications of logic
Related Items