Labelled propositional modal logics: theory and practice (1997)

by D Basin, S Matthews, L Vigan`o
Venue:Journal of Logic and Computation