arXiv Open Access 2022

Robinson consistency in many-sorted hybrid first-order logics

Daniel Gaina Guillermo Badia Tomasz Kowalski

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO

Penulis (3)

Daniel Gaina

Guillermo Badia

Tomasz Kowalski

Format Sitasi

APA MLA BibTeX

Gaina, D., Badia, G., Kowalski, T. (2022). Robinson consistency in many-sorted hybrid first-order logics. https://arxiv.org/abs/2208.08708

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2022
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓