The decidable normal modal logics are not recursively enumerable

DOI10.1007/BF00249364zbMath0587.03015OpenAlexW2035811313MaRDI QIDQ1072542

M. J. Cresswell

Publication date: 1985

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00249364

zbMATH Keywords

recursive presentationsdecidable modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: The decidable normal modal logics are not recursively enumerable