A dynamic logic with branching modalities
From MaRDI portal
Publication:6151608
DOI10.1016/J.JLAMP.2023.100921MaRDI QIDQ6151608FDOQ6151608
Authors: Yuanrui Zhang, Zhiming Liu 
Publication date: 12 February 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Cites Work
- Propositional dynamic logic of regular programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- First-order dynamic logic
- An axiomatic basis for computer programming
- A Propositional Dynamic Logic for CCS Programs
- A probabilistic dynamic logic
- Dynamic epistemic logic
- Title not available (Why is that?)
- A complete inference system for a class of regular behaviours
- Game logic -- an overview
- Verification of sequential and concurrent programs
- A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems
- Title not available (Why is that?)
- Logical foundations of cyber-physical systems
- Title not available (Why is that?)
- Process logic: Expressiveness, decidability, completeness
- A Temporal Dynamic Logic for Verifying Hybrid System Invariants
- Constructive hybrid games
- dTL\(^{2}\): differential temporal dynamic logic with nested temporalities for hybrid systems
This page was built for publication: A dynamic logic with branching modalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151608)
