Sufficient conditions for local tabularity of a polymodal logic

From MaRDI portal
Publication:6420518