Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents

Add code
Apr 24, 2024

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: