Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Definable Classes of Models and Frames in Bi-intuitionistic Logic
Guillermo Badia, Tomasz Kowalski, Grigory Olkhovikov
The question of the expressive power of a given logical language with Kripke relational semantics has at least two dimensions: (1) what the language can say about frames, and (2) w…
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…