Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions

MaRDI QIDQ7192784arXivFDO

Authors Alessandro Artale, Christopher Hampson, Roman Kontchakov, F. Wolter

Publication date 2025

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7192784)