Modelling simultaneous games in dynamic logic

DOI10.1007/S11229-008-9390-YMaRDI QIDQ1024134zbMATH OpenOpenAlexFDO

Authors Sujata Ghosh, Fenrong Liu, Johan van Benthem

Publication date 16 June 2009

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-008-9390-y

zbMATH Keywords

parallelismIF logicgame logicbranching quantifierssimultaneous gamesevaluation games

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Other game-theoretic models (91A40)

Recommendations

• Playing extensive form games in parallel
• Games in dynamic-epistemic logic
• An introduction to game logic
• Temporal logics for games
• Imperfect information in logic and concurrent games

Cites work

• scientific article; zbMATH DE number 3880483 (Why is no real title available?)
• scientific article; zbMATH DE number 5000948 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A Hypothetical Reasoning Algorithm for Linguistic Analysis
• Alternating-time temporal logic
• Bisimulation for Neighbourhood Structures
• Compositional semantics for a language of imperfect information
• Concurrent dynamic logic
• Degrees of indeterminacy of games
• Extensive games as process models
• Game logic -- an overview
• Games and full completeness for multiplicative linear logic
• Games in dynamic-epistemic logic
• Handbook of process algebra
• Henkin quantifiers: logic, games, and computation.
• Logic games are complete for game logics
• Modality, bisimulation and interpolation in infinitary logic
• Parallel action: Concurrent dynamic logic with independent modalities
• Representation of game algebras
• The basic algebra of game equivalences

Cited in

(14)

• A propositional dynamic logic for instantial neighborhood semantics
• Formalizing opponent modeling with the rock, paper, scissors game
• Strategies in games: a logic-automata study
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• Dynamic logics of imperfect information: from teams and games to transitions
• Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
• A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
• Studying strategies and types of players: experiments, logics and cognitive models
• Trace Semantics for IPDL
• Reasoning about strategies
• Human strategic reasoning in dynamic games: experiments, logics, cognitive models
• Concurrent dynamic algebra
• Taming multirelations
• Playing extensive form games in parallel

This page was built for publication: Modelling simultaneous games in dynamic logic

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