3 results
E. J. Lemmon. Quantifiers and modal operators. Proceedings of the Aristotelian Society, vol. 58 (1957–1958), pp. 245–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
- Print publication:
- June 1966
-
- Article
- Export citation
Saul A. Kripke. A completeness theorem in modal logic. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
- Print publication:
- June 1966
-
- Article
- Export citation
Saul A. Kripke. The undecidability of monadic modal quantification theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 113–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
- Print publication:
- June 1966
-
- Article
- Export citation