Some kinds of modal completeness

This publication has 13 references indexed in Scilit:

• Canonical modal logics and ultrafilter extensions
  The Journal of Symbolic Logic, 1979
• Two simple incomplete modal logics
  Theoria, 1978
• Reduction of second‐order logic to modal logic
  Mathematical Logic Quarterly, 1975
• Axiomatic classes in propositional modal logic
  Published by Springer Nature ,1975
• Some results in modal model theory
  The Journal of Symbolic Logic, 1974
• An incompleteness theorem in modal logic
  Theoria, 1974
• An incomplete logic containing S4
  Theoria, 1974
• A normal modal calculus between T and S4 without the finite model property
  The Journal of Symbolic Logic, 1969
• A completeness theorem in modal logic
  The Journal of Symbolic Logic, 1959
• On the existence of finite models and decision procedures for propositional calculi
  Mathematical Proceedings of the Cambridge Philosophical Society, 1958