1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.LO2022
Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
In the the present contribution, we prove an Omitting Types Theorem (OTT) for an arbitrary fragment of hybriddynamic first-order logic with rigid symbols (i.e. symbols with fixed i…
cs.LO2019★ 1 cited
Horn Clauses in Hybrid-Dynamic First-Order Logic
Daniel Găină, Ionuţ Ţuţu
We propose a hybrid-dynamic first-order logic as a formal foundation for specifying and reasoning about reconfigurable systems. As the name suggests, the formalism we develop exten…