Normal modal model theory

This publication has 9 references indexed in Scilit:

• Craig's interpolation theorem for modal logics
  Published by Springer Nature ,1972
• Model Theory for Intuitionistic Logic
  Mathematical Logic Quarterly, 1972
• Lectures in Set Theory with Particular Emphasis on the Method of Forcing
  Lecture Notes in Mathematics, 1971
• Modelltheoretische Untersuchungen in der Kripke-Semantik
  Archive for Mathematical Logic, 1970
• Vollständige Systeme modaler und intuitionistischer Logik
  Published by Springer Nature ,1968
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
  Mathematical Logic Quarterly, 1963
• Reduced direct products
  Fundamenta Mathematicae, 1962
• Ultraproducts in the Theory of Models
  Annals of Mathematics, 1961
• A completeness theorem in modal logic
  The Journal of Symbolic Logic, 1959