1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2016
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…
cs.LO2016★ 1 cited
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…
cs.LO2016
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…