Properties of independently axiomatizable bimodal logics (1991)

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