most citedHorn Clauses in Hybrid-Dynamic First-Order Logic

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

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…