A dynamic logic with branching modalities

DOI10.1016/J.JLAMP.2023.100921MaRDI QIDQ6151608zbMATH OpenFDO

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)

Full work available at URL https://doi.org/10.1016/J.JLAMP.2023.100921

zbMATH Keywords

dynamic logicprogram verificationtemporal propertybranching semantics

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 4101151 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1765704 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Propositional Dynamic Logic for CCS Programs
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• A complete inference system for a class of regular behaviours
• A probabilistic dynamic logic
• A propositional dynamic logic for concurrent programs based on the -calculus
• An axiomatic basis for computer programming
• Constructive hybrid games
• Differential Dynamic Logic for Verifying Parametric Hybrid Systems
• Dynamic epistemic logic
• First-order dynamic logic
• Game logic -- an overview
• Logical foundations of cyber-physical systems
• Process logic: Expressiveness, decidability, completeness
• Propositional dynamic logic of regular programs
• Verification of sequential and concurrent programs
• 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)