Sequent Calculi for Normal Modal Propositional Logics (1994)

by Heinrich Wansing
Venue:In Journal of Logic and Computation