29 citations · 40 across the 9 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
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.LO2025
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…