Generic modal cut elimination applied to conditional logics (0)

by D Pattinson, L Schröder
Venue:Proc. Tableaux 2009, Lect. Notes in Artificial Intelligence 5607 (2009