most citedRelation-Changing Logics as Fragments of Hybrid Logics

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

collaborators

1 paper

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…