Parallel action: Concurrent dynamic logic with independent modalities

Studia Logica 51 (3-4):551 - 578 (1992)
  Copy   BIBTEX

Abstract

Regular dynamic logic is extended by the program construct, meaning and executed in parallel. In a semantics due to Peleg, each command is interpreted as a set of pairs (s,T), withT being the set of states reachable froms by a single execution of, possibly involving several processes acting in parallel. The modalities ] are given the interpretations>A is true ats iff there existsT withsRT andA true throughoutT, and.

Categories

Keywords

Reprint years

DOI

10.1007/bf01028975

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Parallel Logic Programming.Akikazu Takeuchi - 1992 - Wiley.
Graded modalities, II (canonical models).Francesco Caro - 1988 - Studia Logica 47 (1):1-10.
A faithful embedding of parallel computations in star-finite models.E. J. Farkas - 1988 - Studia Logica 47 (3):203 - 212.
Dynamic Modalities.Dimiter Vakarelov - 2012 - Studia Logica 100 (1-2):385-397.
Consistency-Sensitive Epistemic Modalities in Information-Based Semantics.Vít Punčochář, Marta Bílková, Sena Bozdag & Thomas M. Ferguson - 2025 - Studia Logica 113 (4):1061-1099.
A dynamic logic of action.Brigitte Penther - 1994 - Journal of Logic, Language and Information 3 (3):169-210.
The Refined Extension Principle for Semantics of Dynamic Logic Programming.José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite - 2005 - Studia Logica 79 (1):7-32.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
General canonical models for graded normal logics (graded modalities IV).C. Cerrato - 1990 - Studia Logica 49 (2):241-252.
“The story says that” operator in story semantics.Charles B. Daniels - 1987 - Studia Logica 46 (1):73-86.

Analytics

Added to PP
2009-01-28

Downloads
151 (#280,421)

6 months
21 (#526,939)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Propositional dynamic logic.Philippe Balbiani - 2008 - Stanford Encyclopedia of Philosophy.

View all 10 citations / Add more citations

References found in this work

Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.

Add more references