2 papers
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…
cs.LO2025
Proof Scores: A Survey (full version)
Adrian Riesco, Kazuhiro Ogata, Masaki Nakamura +3
Proof scores can be regarded as outlines of the formal verification of system properties. They have been historically used by the OBJ family of specification languages. The main ad…