Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.

Iris van der Giessen Raheleh Jalali Roman Kuznets

Published in: TABLEAUX (2023)

Keyphrases

proof theory
default reasoning
default logic
proof theoretic
automated reasoning
reasoning problems
nonmonotonic reasoning
special case
default theories