A dynamic logic with branching modalities

DOI10.1016/j.jlamp.2023.100921MaRDI QIDQ6151608

Yuanrui Zhang, Zhi-Ming Liu

Publication date: 12 February 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

dynamic logicprogram verificationtemporal propertybranching semantics

Mathematics Subject Classification ID

Computer science (68-XX)

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