Quantification in Modal Logic

This publication has 8 references indexed in Scilit:

• Model Theory for Modal Logic
  Published by Springer Nature ,1979
• Investigations into quantified modal logic-I
  Studia Logica, 1976
• Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
  Published by Springer Nature ,1976
• Propositional quantifiers in modal logic¹
  Theoria, 1970
• Some Completeness Results for Modal Predicate Calculi
  Published by Springer Nature ,1970
• Existential Presuppositions and Uniqueness Presuppositions
  Published by Springer Nature ,1970
• Counterpart Theory and Quantified Modal Logic
  The Journal of Philosophy, 1968
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949