Some compactness results for modal logic

From MaRDI portal