Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi.

Published in: CoRR (2016)

Keyphrases

sequent calculi
conditional logic
modal logic
image interpolation
cut elimination
search algorithm
temporal logic
default reasoning
knowledge base
inference rules
interpolation method
sequent calculus