Compositional Reasoning for Multi-modal Logics (Q3455830)

From MaRDI portal