Sequent Calculi for Choice Logics.

Michael Bernreiter Anela Lolic Jan Maly Stefan Woltran

Published in: IJCAR (2022)

Keyphrases

sequent calculi
conditional logic
modal logic
cut elimination
sequent calculus
expressive power
wide class
knowledge base
feature space
temporal logic