Login / Signup

Sequent Calculi for Choice Logics.

Michael BernreiterAnela LolicJan MalyStefan Woltran
Published in: J. Autom. Reason. (2024)
Keyphrases
  • sequent calculi
  • conditional logic
  • modal logic
  • cut elimination
  • belief revision
  • machine learning
  • inference rules
  • wide class