Modelling simultaneous games in dynamic logic
type: Item
instance of: scholarly article
title: Modelling simultaneous games in dynamic logic
zbMATH Open document ID: 1169.03021
author: Sujata Ghosh
author: Fenrong Liu
author: Johan van Benthem
published in: Synthese
publication date: 2009-06-16T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 91A40
zbMATH DE Number: 5565231
zbMATH Keywords: simultaneous games
zbMATH Keywords: parallelism
zbMATH Keywords: game logic
zbMATH Keywords: evaluation games
zbMATH Keywords: IF logic
zbMATH Keywords: branching quantifiers
MaRDI profile type: Publication
full work available at URL: s11229-008-9390-y
OpenAlex ID: W2029057681
cites work: Games and full completeness for multiplicative linear logic
cites work: Alternating-time temporal logic
cites work: Handbook of process algebra
cites work: Degrees of indeterminacy of games
cites work: Parallel action: Concurrent dynamic logic with independent modalities
cites work: The basic algebra of game equivalences
cites work: Bisimulation for Neighbourhood Structures
cites work: Q4525781
cites work: Compositional semantics for a language of imperfect information
cites work: Q3346126
cites work: Game logic -- an overview
cites work: Concurrent dynamic logic
cites work: Q3396588
cites work: Modality, bisimulation and interpolation in infinitary logic
cites work: Games in Dynamic-Epistemic Logic
cites work: Extensive games as process models
cites work: Logic games are complete for game logics
cites work: Q3367284
cites work: A Hypothetical Reasoning Algorithm for Linguistic Analysis
cites work: Representation of game algebras
DOI: 10.1007/S11229-008-9390-Y
description: scientific article; zbMATH DE number 5565231