most citedRobinson consistency in many-sorted hybrid first-order logics

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

collaborators
Showing math.LOShow all

1 paper · 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…