most citedA modular bisimulation characterisation for fragments of hybrid logic

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

collaborators

1 paper

math.LO2023★ 3 cited

A modular bisimulation characterisation for fragments of hybrid logic

Guillermo Badia, Daniel Gaina, Alex Knapp +2

There are known characterisations of several fragments of hybrid logic by means of invariance under bisimulations of some kind. The fragments include $\{\store, \jump\}$ with or wi…