3 papers
cs.LO2026
Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse , Craig Interpolation and Beth Definability
Dimitar P. Guelev
We show how interval-based temporal separation on the extension of Moszkowski's discrete time interval temporal logic (Moszkowski, 1986) by the neighbourhood modalities (ITL-NL) an…
cs.LO2026
On Qualitative Preference in Alternating-time Temporal Logic with Strategy Contexts
Dimitar P. Guelev
We show how to add and eliminate binary preference on plays in Alternating-time Temporal Logic (ATL) with strategy contexts on Concurrent Game Models (CGMs) by means of a translati…
cs.LO2024
A Generalized Hybrid Hoare Logic
Naijun Zhan, Xiangyu Jin, Bohua Zhan +2
Deductive verification of hybrid systems (HSs) increasingly attracts more attention in recent years because of its power and scalability, where a powerful specification logic for H…