IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Hybrid Ehrenfeucht-Fraïssé Games"

by Alexander Knapp

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