Game logic -- an overview
From MaRDI portal
Publication:1425186
DOI10.1023/A:1027354826364zbMath1040.03013MaRDI QIDQ1425186
Publication date: 15 March 2004
Published in: Studia Logica (Search for Journal in Brave)
Related Items
Differential Game Logic, Taming Multirelations, Constructive Game Logic, A stochastic interpretation of propositional dynamic logic: expressivity, An exercise on the generation of many-valued dynamic logics, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, Algebraic modal correspondence: Sahlqvist and beyond, Unnamed Item, Games for active XML revisited, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Knowledge and Games in Modal Semirings, To be announced, Relations into algebras of probabilistic distributions, Algebraic properties of stochastic effectivity functions, A dynamic logic with branching modalities, The variable hierarchy for the games \(\mu \)-calculus, Unnamed Item, Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism, Using coalgebras and the Giry monad for interpreting game logics -- a tutorial, Dynamic Logics of Imperfect Information: From Teams and Games to Transitions, A stochastic interpretation of game logic, Unnamed Item, Logics for Dynamic Epistemic Behavioral Strategies, Modelling simultaneous games in dynamic logic, Determining the environment: a modal logic for closed interaction, Logic and Game Theory, NP reasoning in the monotone \(\mu\)-calculus, Representing and reasoning about game strategies
