Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Tue, 06 February 2024 at 10:00 am in Salzburg, Austria
Joint work with: Guillermo Badia, Daniel Gaina, Tomasz Kowalski, Martin Wirsing
Abstract: We propose a notion of Ehrenfeucht-Fraïssé game in hybrid logic by generalizing the classical Ehrenfeucht-Fraïssé games defined for first-order logic. We consider both finite and countably infinite versions of the games and we use them to give some characterization theorems for hybrid propositional logic and their fragments.
Slides