Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations

MaRDI QIDQ6529050arXivFDO

Authors F. Wolter, Michael Zakharyaschev

Published in arXiv

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

This page was built for publication: Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations

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