Login / Signup

Generic Modal Cut Elimination Applied to Conditional Logics.

Dirk PattinsonLutz Schröder
Published in: TABLEAUX (2009)
Keyphrases
  • conditional logic
  • artificial intelligence
  • sequent calculus
  • pairwise
  • incomplete information
  • cut elimination