Some compactness results for modal logic.
George F. Schumm · Notre Dame Journal of Formal Logic · 1989
A modal logic L is said to be compact if every L-consistent set of formulas has a model on a frame for L. Some large classes of compact (noncompact) logics are identified, and it is shown that there are uncountably many compact (noncompact) logics.