Labelled Propositional Modal Logics: Theory and Practice (1997)

by D Basin, S Matthews, L Vigano
Venue:Journal of Logic and Computation