Robinson consistency in many-sorted hybrid first-order logics
Logic
2022-08-19 v1
Abstract
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 is an interpolation theorem.
Cite
@article{arxiv.2208.08708,
title = {Robinson consistency in many-sorted hybrid first-order logics},
author = {Daniel Gaina and Guillermo Badia and Tomasz Kowalski},
journal= {arXiv preprint arXiv:2208.08708},
year = {2022}
}