Concurrent dynamic logic
From MaRDI portal
Recommendations
Cited in
(63)- Modelling simultaneous games in dynamic logic
- Concurrent program schemes and their logics
- Communication in concurrent dynamic logic
- Parallel action: Concurrent dynamic logic with independent modalities
- A dynamic logic of action
- The complexity of PDL with interleaving
- Towards reasoning about Petri nets: a propositional dynamic logic based approach
- Predicate liftings and functor presentations in coalgebraic expression languages
- Quasipolynomial computation of nested fixpoints
- NP reasoning in the monotone \(\mu\)-calculus
- A semantics and a logic for \textit{Fuzzy Arden Syntax}
- Propositional dynamic logic with quantification over regular computation sequences
- Sequential dynamic logic
- On strictly arithmetical completeness in logics of programs
- DaLí -- dynamic logic, new trends and applications
- A propositional dynamic logic for instantial neighborhood semantics
- Bisimilar and logically equivalent programs in PDL with parallel operator
- Kleisli, Parikh and Peleg compositions and liftings for multirelations
- A genetically modified Hoare logic
- Tableaux for constructive concurrent dynamic logic
- Bisimilar and logically equivalent programs in PDL
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- Composing models
- Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
- A relation-algebraic approach to multirelations and predicate transformers
- Exponential-size model property for PDL with separating parallel composition
- scientific article; zbMATH DE number 2084328 (Why is no real title available?)
- Reasoning with protocols under imperfect information
- Complexity analysis of propositional concurrent programs using domino tiling
- Propositional dynamic logic for Petri nets with iteration
- A propositional dynamic logic for concurrent programs based on the -calculus
- Tableaux methods for propositional dynamic logics with separating parallel composition
- A Propositional Dynamic Logic for CCS Programs
- Quantificational modal logic with sequential Kripke semantics
- Dynamic Context Logic
- scientific article; zbMATH DE number 3921954 (Why is no real title available?)
- Relations into algebras of probabilistic distributions
- A dynamic deontic logic for complex contracts
- Hoare semigroups
- A dynamic logic for deductive verification of multi-threaded programs
- Dynamic logic with trace semantics
- Constructive game logic
- Generating Posets Beyond N
- An algebraic approach to multirelations and their properties
- Propositional dynamic logic with storing, recovering and parallel composition
- Concurrent dynamic algebra
- Taming multirelations
- Game-based local model checking for the coalgebraic \(\mu\)-calculus
- Resource separation in dynamic logic of propositional assignments
- A type reduction from proof-conditional to dynamic semantics
- Models and logics for true concurrency.
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
- COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
- Determinism of multirelations
- Simple dynamic logic with parallel composition and applications to planning
- On the inner structure of multirelations
- Modal algebra of multirelations
- Adding concurrency to quantum dynamic logic
- Constructive modal logics. I
- On the construction of multi-valued concurrent dynamic logics
- An essay in combinatory dynamic logic
- Concurrent weighted logic
- Determinism and looping in combinatory PDL
This page was built for publication: Concurrent dynamic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787981)
