3 papers
cs.FL2026
Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
Dylan Bellier, Gregory Faraut, Yan Monier +1
In recent years the theory of Higher Dimensional Automata (HDA) has seen significant advances from a theoretical point of view, reflecting standard automata theory. There have also…
cs.LO2023
Alternating (In)Dependence-Friendly Logic
Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1
Hintikka and Sandu originally proposed Independence Friendly Logic (IF) as a first-order logic of imperfect information to describe game-theoretic phenomena underlying the semantic…
cs.LO2021
Good-for-Game QPTL: An Alternating Hodges Semantics
Dylan Bellier, Massimo Benerecetti, Dario Della Monica +1
An extension of QPTL is considered where functional dependencies among the quantified variables can be restricted in such a way that their current values are independent of the fut…