1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2025★ 1 cited
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…
cs.LO2024
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…