Sequent Calculi for Normal Update Logics.

Katsuhiko Sano Minghui Ma

Published in: ICLA (2019)

Keyphrases

sequent calculi
modal logic
conditional logic
cut elimination
default reasoning
linear logic
machine learning
wide class