Sequent-Systems for modal logic (1985)

by K Doˇsen
Venue:Journal of Symbolic Logic