Parallel action: Concurrent dynamic logic with independent modalities

DOI10.1007/BF01028975zbMath0784.03019OpenAlexW2046662328MaRDI QIDQ1207436

Robert Goldblatt

Publication date: 1 April 1993

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01028975

zbMATH Keywords

reachabilityfiltrationsfinite model propertyconcurrencyparallel processescanonical modelsmodalitiesfinitely axiomatizableconcurrent dynamic logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (17)

Concurrent Dynamic Algebra ⋮ Taming Multirelations ⋮ Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ Extending propositional dynamic logic for Petri nets ⋮ Strategies in Games: A Logic-Automata Study ⋮ Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Relations into algebras of probabilistic distributions ⋮ Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic ⋮ Resource separation in dynamic logic of propositional assignments ⋮ Tableaux for constructive concurrent dynamic logic ⋮ Propositional Dynamic Logic with Storing, Recovering and Parallel Composition ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Knowledge and Local Actions ⋮ The logic of modal changes LMC ⋮ Modelling simultaneous games in dynamic logic ⋮ 2-Exp Time lower bounds for propositional dynamic logics with intersection

Cites Work

• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• Unnamed Item

This page was built for publication: Parallel action: Concurrent dynamic logic with independent modalities