Sequent-systems for modal logic, The (1985)

by K Došen
Venue:Journal of Symbolic Logic