Guillermo Badia, Tomasz Kowalski, Daniel Gaina. Robinson consistency in many-sorted hybrid first-order logics. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 407-428, College Publications, 2022.
@inproceedings{BadiaKG22,
title = {Robinson consistency in many-sorted hybrid first-order logics},
author = {Guillermo Badia and Tomasz Kowalski and Daniel Gaina},
year = {2022},
researchr = {https://researchr.org/publication/BadiaKG22},
cites = {0},
citedby = {0},
pages = {407-428},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022},
editor = {David Fernández Duque and Alessandra Palmigiano and Sophie Pinchinat},
publisher = {College Publications},
isbn = {978-1-84890-413-2},
}