Optimal Tableaux for Conditional Logics with Cautious Monotonicity.

Lutz Schrder, Dirk Pattinson, Daniel Hausmann

Browse the full ECAI paper archive.