A dynamic logic with branching modalities
From MaRDI portal
Publication:6151608
DOI10.1016/j.jlamp.2023.100921MaRDI QIDQ6151608
Publication date: 12 February 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A probabilistic dynamic logic
- Verification of sequential and concurrent programs
- Dynamic epistemic logic
- A complete inference system for a class of regular behaviours
- Process logic: Expressiveness, decidability, completeness
- First-order dynamic logic
- Propositional dynamic logic of regular programs
- Game logic -- an overview
- Constructive hybrid games
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus
- dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems
- A Propositional Dynamic Logic for CCS Programs
- Logical Foundations of Cyber-Physical Systems
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems
- A Temporal Dynamic Logic for Verifying Hybrid System Invariants
- An axiomatic basis for computer programming
This page was built for publication: A dynamic logic with branching modalities