Generic modal cut elimination applied to conditional logics (2009)

by Dirk Pattinson , Lutz Schröder
Venue:AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2009, LECT. NOTES COMPUT. SCI
Citations:4 - 2 self