12 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.LO2016★ 12 cited
Relation-Changing Logics as Fragments of Hybrid Logics
Carlos Areces, Raul Fervari, Guillaume Hoffmann +1
Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular…
cs.LO2015★ 1 cited
Undecidability of a Very Simple Modal Logic with Binding
Guillaume Hoffmann
We show undecidability of the satisfiability problem of what is arguably the simplest non-sub-Boolean modal logic with an implicit notion of binding. This work enriches the series…
cs.LO2013★ 1 cited
Symmetries in Modal Logics
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results app…