Modelling simultaneous games in dynamic logic

DOI10.1007/S11229-008-9390-YzbMATH Open1169.03021OpenAlexW2029057681MaRDI QIDQ1024134FDOQ1024134

Authors: Sujata Ghosh, Fenrong Liu, Johan 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

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

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)

Cites Work

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

Cited In (15)

• A propositional dynamic logic for instantial neighborhood semantics
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus
• Dynamic Logics of Imperfect Information: From Teams and Games to Transitions
• Studying strategies and types of players: experiments, logics and cognitive models
• Playing extensive form games in parallel
• Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models
• Formalizing opponent modeling with the rock, paper, scissors game
• Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
• Transition semantics: the dynamics of dependence logic
• Strategies in Games: A Logic-Automata Study
• Trace Semantics for IPDL
• Reasoning about Strategies
• Concurrent Dynamic Algebra
• Taming Multirelations

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)