Lyon, Tim S.

2 publications

IJCAI 2024 Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents Tim S. Lyon, Jonas Karge

JAIR 2024 Proof Theory and Decision Procedures for Deontic STIT Logics Tim S. Lyon, Kees van Berkel