2 papers
cs.LO2024
Hybrid-Dynamic Ehrenfeucht-Fraisse Games
Guillermo Badia, Daniel Gaina, Alexander Knapp +2
Ehrenfeucht-Fraisse games provide means to characterize elementary equivalence for first-order logic, and by standard translation also for modal logics. We propose a novel generali…
math.LO2023
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…