3 citations · 6 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 2 cited
Robinson consistency in many-sorted hybrid first-order logics
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
In this paper we prove a Robinson consistency theorem for a class of many-sorted hybrid logics as a consequence of an Omitting Types Theorem. An important corollary of this result…
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…