Login / Signup
Sequent Calculi for Choice Logics.
Michael Bernreiter
Anela Lolic
Jan Maly
Stefan Woltran
Published in:
J. Autom. Reason. (2024)
Keyphrases
</>
sequent calculi
conditional logic
modal logic
cut elimination
belief revision
machine learning
inference rules
wide class