32 citations · 104 across the 17 of their papers we have counts for
Showing 2016 · cs.LOShow all
3 papers · 2 filters
cs.LO2016★ 2 cited
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★ 27 cited
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…