Properties of independently axiomatizable bimodal logics (1991)

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