Login / Signup

Generic Modal Cut Elimination Applied to Conditional Logics

Dirk PattinsonLutz Schröder
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases
  • conditional logic
  • linear logic
  • high level
  • probability distribution
  • modal logic