Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.

Iris van der Giessen Raheleh Jalali Roman Kuznets

Published in: CoRR (2023)

Keyphrases

proof theory
default reasoning
proof theoretic
default logic
reasoning problems
automated reasoning
default theories
np hard
knowledge representation
logic programming
decision procedures