11 citations · 16 across the 14 of their papers we have counts for
3 papers · 1 filter
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…
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…
Qualitative representations of chromatic algebras
Badriah Al Juaid, Marcel Jackson, James Koussas +1
Conventional Ramsey-theoretic investigations for edge-colourings of complete graphs are framed around avoidance of certain configurations. Motivated by considerations arising in th…