3 papers
cs.LO2026
Labelled Process Logic
Yuanrui Zhang
This paper develops a cyclic labelled proof-theoretic framework for process logic -- an extension of dynamic logic in which formulas specify properties of execution traces rather t…
cs.LO2026
On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
Yuanrui Zhang
Applying dynamic logics to program verifications is a challenge, because their axiomatic rules for regular expressions can be difficult to be adapted to different program models. W…
cs.LO2025
Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
Yuanrui Zhang
We present a theory of parameterized dynamic logic, namely DLp, for specifying and reasoning about a rich set of program models based on their transitional behaviours. Different fr…