Pages that link to "Item:Q1207436"
From MaRDI portal
The following pages link to Parallel action: Concurrent dynamic logic with independent modalities (Q1207436):
Displaying 17 items.
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Kleisli, Parikh and Peleg compositions and liftings for multirelations (Q2360654) (← links)
- Tableaux for constructive concurrent dynamic logic (Q2488268) (← links)
- Strategies in Games: A Logic-Automata Study (Q3166989) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- Knowledge and Local Actions (Q5213656) (← links)
- The logic of modal changes LMC (Q5217249) (← links)
- Concurrent Dynamic Algebra (Q5277895) (← links)
- Taming Multirelations (Q5278188) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)
- Resource separation in dynamic logic of propositional assignments (Q5918351) (← links)
