Properties of independently axiomatizable bimodal logics.” in The (1991)

by M Kracht, F Wolter
Venue:Journal of Symbolic Logic