Amalgamation and interpolation in normal modal logics
- 1 January 1991
- journal article
- Published by Springer Science and Business Media LLC in Studia Logica
- Vol. 50 (3), 457-471
- https://doi.org/10.1007/bf00370682
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Logical matrices and the amalgamation propertyStudia Logica, 1982
- On systems of modal logic with provability interpretationsTheoria, 1980
- Pretabular varieties of modal algebrasStudia Logica, 1980
- Failures of the interpolation lemma in quantified modal logicThe Journal of Symbolic Logic, 1979
- Arithmetical necessity, provability and intuitionistic logicTheoria, 1978
- Amalgamation properties and interpolation theorems for equational theoriesAlgebra universalis, 1975
- Craig's interpolation theorem for modal logicsPublished by Springer Science and Business Media LLC ,1972
- Algebraic semantics for modal logics IThe Journal of Symbolic Logic, 1966
- On Some Completeness Theorems in Modal LogicMathematical Logic Quarterly, 1966
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963