Login / Signup
Generic Modal Cut Elimination Applied to Conditional Logics.
Dirk Pattinson
Lutz Schröder
Published in:
TABLEAUX (2009)
Keyphrases
</>
conditional logic
artificial intelligence
sequent calculus
pairwise
incomplete information
cut elimination