Modelling simultaneous games in dynamic logic
From MaRDI portal
Publication:1024134
DOI10.1007/S11229-008-9390-YzbMath1169.03021OpenAlexW2029057681MaRDI QIDQ1024134
Sujata Ghosh, Fenrong Liu, J. F. A. K. van Benthem
Publication date: 16 June 2009
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-008-9390-y
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Other game-theoretic models (91A40)
Related Items (12)
Concurrent Dynamic Algebra ⋮ Taming Multirelations ⋮ Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ Strategies in Games: A Logic-Automata Study ⋮ Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models ⋮ Trace Semantics for IPDL ⋮ A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus ⋮ Studying strategies and types of players: experiments, logics and cognitive models ⋮ Transition semantics: the dynamics of dependence logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Reasoning about Strategies ⋮ A propositional dynamic logic for instantial neighborhood semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parallel action: Concurrent dynamic logic with independent modalities
- Modality, bisimulation and interpolation in infinitary logic
- Game logic -- an overview
- Logic games are complete for game logics
- The basic algebra of game equivalences
- Representation of game algebras
- Extensive games as process models
- Games in Dynamic-Epistemic Logic
- Alternating-time temporal logic
- Bisimulation for Neighbourhood Structures
- Concurrent dynamic logic
- A Hypothetical Reasoning Algorithm for Linguistic Analysis
- Games and full completeness for multiplicative linear logic
- Compositional semantics for a language of imperfect information
- Degrees of indeterminacy of games
This page was built for publication: Modelling simultaneous games in dynamic logic
