most citedOn the Expressive Power of Sub-Propositional Fragments of Modal Logic

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…