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


Wolter, Frank and Zakharyaschev, Michael (2024) Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. [Preprint]

Access the full-text of this item by clicking on the Open Access link.
Item Type: Preprint
Depositing User: Symplectic Admin
Date Deposited: 28 Jun 2024 10:29
Last Modified: 28 Jun 2024 10:30
Open Access URL: https://arxiv.org/abs/2405.03511
URI: https://livrepository.liverpool.ac.uk/id/eprint/3182510
Share
CORE (COnnecting REpositories)