32 citations · 104 across the 17 of their papers we have counts for
10 papers · 1 filter
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
Jean-Francois Raskin, Davide Bresolin
This volume contains the proceedings of the 11th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2020). The symposium took place as a fully onlin…
On Sub-Propositional Fragments of Modal Logic
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
In this paper, we consider the well-known modal logics , , , and , and we study some of their sub-propositional fragments, namely…
On the Expressive Power of Sub-Propositional Fragments of Modal Logic
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notabl…
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco +3
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, t…
Proceedings First Workshop on Logics and Model-checking for Self-* Systems
Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci +1
This volume contains the proceedings of the First Workshop on Logics and Model-checking for self-* systems (MOD* 2014). The worshop took place in Bertinoro, Italy, on 12th of Septe…
HyLTL: a temporal logic for model checking hybrid systems
Davide Bresolin
The model-checking problem for hybrid systems is a well known challenge in the scientific community. Most of the existing approaches and tools are limited to safety properties only…