Investigations into quantified modal logic-I

This publication has 13 references indexed in Scilit:

• Semantics for contingent identity systems.
  Notre Dame Journal of Formal Logic, 1974
• The inadequacy of Hughes and Cresswell's semantics for the ${\rm CI}$ systems.
  Notre Dame Journal of Formal Logic, 1974
• Classes and change
  Journal of Philosophical Logic, 1972
• Tableau methods of proof for modal logics.
  Notre Dame Journal of Formal Logic, 1972
• First-Order Logic
  Published by Springer Nature ,1968
• Algebraic semantics for modal logics II
  The Journal of Symbolic Logic, 1966
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
  Mathematical Logic Quarterly, 1963
• A completeness theorem in modal logic
  The Journal of Symbolic Logic, 1959
• A generalization of the concept ofω-completeness
  The Journal of Symbolic Logic, 1957
• The completeness of the first-order functional calculus
  The Journal of Symbolic Logic, 1949