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.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,440

External links

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

Through your library

Similar books and articles

Dynamic Modalities.Dimiter Vakarelov - 2012 - Studia Logica 100 (1-2):385-397.
Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.
The dynamic logic of stating and asking.Ivano Ciardelli - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction. LORI 2017. Springer. pp. 240-255.
Independent Set Readings and Generalized Quantifiers.Livio Robaldo - 2010 - Journal of Philosophical Logic 39 (1):23-58.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Possibility Semantics.Wesley H. Holliday - 2021 - In Melvin Fitting (ed.), Selected Topics From Contemporary Logics. College Publications. pp. 363-476.

Analytics

Added to PP
2009-01-28

Downloads
95 (#225,707)

6 months
11 (#319,040)

Historical graph of downloads
How can I increase my downloads?