Picture for Jonas Karge

Jonas Karge

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

Add code
Apr 24, 2024
Viaarxiv icon

Uniform and Modular Sequent Systems for Description Logics

Add code
Jun 17, 2022
Figure 1 for Uniform and Modular Sequent Systems for Description Logics
Figure 2 for Uniform and Modular Sequent Systems for Description Logics
Viaarxiv icon