On the Construction of Analytic Sequent Calculi for Sub-classical Logics.

Ori Lahav Yoni Zohar

Published in: WoLLIC (2014)

Keyphrases

sequent calculi
conditional logic
modal logic
artificial intelligence
cut elimination
sufficient conditions
belief revision
temporal logic
default reasoning
classical logic
wide class