2 papers
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…
cs.LO2025
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…