Uniform interpolation and sequent calculi in modal logic.

Rosalie Iemhoff

Published in: Arch. Math. Log. (2019)

Keyphrases

modal logic
sequent calculi
conditional logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
nonmonotonic logics
explanation based generalization
artificial intelligence
knowledge base
default logic
dynamic logic
prime implicates
description logic alc