The decidable normal modal logics are not recursively enumerable M. J. Cresswell BriefCommunication Pages: 231 - 233
Abstraction and definability in semantically closed structures Timothy McCarthy OriginalPaper Pages: 255 - 266