The interpolant existence problem for weak K4 and difference logic.

Kurucz, Agi, Wolter, Frank and Zakharyaschev, Michael (2024) The interpolant existence problem for weak K4 and difference logic. [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/2403.11255
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3182513