Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
- 1 September 1979
- journal article
- Published by Springer Science and Business Media LLC in Algebra and Logic
- Vol. 18 (5), 348-370
- https://doi.org/10.1007/bf01673502
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A classification of modal logicsAlgebra and Logic, 1979
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebrasAlgebra and Logic, 1977
- Pretabular extensions of LewisS4Algebra and Logic, 1975
- A lattice of normal modal logicsAlgebra and Logic, 1974
- Craig's interpolation theorem for modal logicsPublished by Springer Science and Business Media LLC ,1972
- Certain extensions of modal system $S4$.Notre Dame Journal of Formal Logic, 1970
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957