Anderson, A.R. (1956). The formal analysis of normative systems. Reprinted in The Logic of decision and action (ed. Rescher, N.). Pittsburgh: University of Pittsburgh Press.
Åqvist, L. (1965). A new approach to the logical theory of interrogatives, part I. Uppsala: Uppsala Philosophical Association.
Barcan-Marcus, R.C. (1946). A functional calculus of the first order based on strict implication. Journal of Symbolic Logic, 11, 1-16.
Barcan-Marcus, R.C. (1963). Modalities and intensional languages. Boston studies in the Philosophy of Science. (ed. Wartofsky, W.). Dordrecht, Holland.
Belnap, N.D. (1963). An analysis of questions. Santa Monica.
Belnap, N.D. and Dunn, J.M. (1968). The substitution interpretation of the quantifiers. Nous, 2, 177-85.
Bull, R.A. (1968). An algebraic study of tense logics with linear time. Journal of Symbolic Logic, 33, 27-39.
Castañeda, H.N. (1965). The logic of change, action and norms. Journal of Philosophy, 62, 333-4.
Chisholm, R.M. (1963). The logic of knowing. Journal of Philosophy, 60, 773-95.
Chisholm, R.M. (1967). He could have done otherwise. Journal of Philosophy, 64, 409-17.
Church, A. (1956). Introduction to Mathematical Logic. Princeton: Princeton University Press.
Cresswell, M.J. (1965). The logic of interrogatives. Formal systems and recursive functions. (ed. Crossley, J.M. and Dummett, M.A.E.). Amsterdam: North-Holland.
Davidson, D. (1967). The logical form of action sentences. The logic of decision and action. (ed. Rescher, N.). Pittsburgh: University of Pittsburgh Press.
Evans, C.O. (1967). States, activities and performances. Australian Journal of Philosophy, 45, 293-308.
Feys, R. (1965). Modal Logics. (ed. Dopp, J.). Louvain: Coll. de Logique Math. serie B.
Fogel, L.J., Owens, A.J. and Walsh, M.J. (1966). Artificial Intelligence through simulated evolution. New York: John Wiley.
Follesdal, D. (1967). Knowledge, identity and existence. Theoria, 33, 1-27.
Friedberg, R.M. (1958). A learning machine, part I. IBM J. Res. Dev., 2, 2-13.
Friedberg, R.M., Dunham, B., and North, J.H. (1959). A learning machine, part II. IBM J. Res. Dev., 3, 282-7.
Galanter, E. and Gerstenhaber, M. (1956). On thought: the extrinsic theory. Psychological Review, 63, 218-27.
Green, C. (1969). Theorem-proving by resolution as a basis for question-answering systems. Machine Intelligence 4, pp. 183-205 (eds. Meltzer, B. and Michie, D.). Edinburgh: Edinburgh University Press.
Harrah, D. (1963). Communication: a logical model. Cambridge, Massachusetts: MIT Press.
Hintikka, J. (1962). Knowledge and belief: an introduction to the logic of two notions. New York: Cornell University Press.
Hintikka, J. (1963). The modes of modality. Acta Philosophica Fennica, 16, 65-82.
Hintikka, J. (1967a). A program and a set of concepts for philosophical logic. The Monist, 51, 69-72.
Hintikka, J. (1967b). Existence and identity in epistemic contexts. Theoria, 32, 138-47.
Hintikka, J. (1967c). Individuals, possible worlds and epistemic logic. Nous, 1, 33-62.
Hintikka, J. (1977). Different constructions in terms of the basic epistemological verbs. Contemporary Philosophy in Scandinavia (eds. Olsen, R.E. and Paul, A. M.), Baltimore: The John Hopkins Press, 105-122.
Kanger, S. (1957). A note on quantification and modalities. Theoria, 23, 133-4.
Kripke, S. (1963a). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83-94.
Kripke, S. (1963b). Semantical analysis of modal logic I. Zeitschrift fur math. Logik und Grundlagen der Mathematik, 9, 67-96.
Kripke, S. (1965). Semantical analysis of modal logic II. The theory of models (eds. Addison, Henkin and Tarski). Amsterdam: North-Holland.
Lewis, C.I. (1918). A survey of symbolic logic. Berkeley: University of California Press.
Manna, Z. (1968a). Termination of algorithms. Ph.D. Thesis, Carnegie-Mellon University.
Manna, Z. (1968b). Formalization of properties of programs Stanford Artificial Intelligence Report: Project Memo AI-64.
McCarthy, J. (1959). Programs with common sense. Mechanization of thought processes, Vol. I. London: Her Majesty's Stationery Office. (Reprinted in this volume, pp. 000-000).
McCarthy, J. (1962). Towards a mathematical science of computation. Proc. IFIP Congress 62. Amsterdam: North-Holland Press.
McCarthy, J. (1963). Situations, actions and causal laws. Stanford Artificial Intelligence Project: Memo 2.
Minsky, M. (1961). Steps towards artificial intelligence. Proceedings of the I.R.E., 49, 8-30.
Newell, A., Shaw, V.C. and Simon, H.A. (1959). Report on a general problem-solving program. Proceedings ICIP. Paris:UNESCO House.
Newell, A. and Simon, H.A. (1961). GPS - a program that simulates human problem-solving. Proceedings of a conference in learning automata. Munich: Oldenbourgh.
Newell, A. (1965). Limitations of the current stock of ideas about problem-solving. Proceedings of a conference on Electronic Information Handling, pp. 195-208 (eds. Kent, A. and Taulbee, O.). New York: Spartan.
Newell, A. and Ernst, C. (1965). The search for generality. Proc. IFIP Congress 65.
Pivar, M. and Finkelstein, M. (1964). The Programming Language LISP: its operation and applications (eds. Berkely, E.C. and Bobrow, D.G.). Cambridge, Massachusetts: MIT Press.
Prior, A.N. (1957). Time and modality. Oxford: Clarendon Press.
Prior, A.N. (1968). Past, present and future. Oxford: Clarendon Press.
Quine, W.V.O. (1964). Reference and modality. From a logical point of view. Cambridge, Massachusetts: Harvard University Press.
Rescher, N. (1964). Hypothetical reasoning. Amsterdam: North-Holland.
Rescher, N. (1966). The logic of commands. London: Routledge.
Rescher, N. (1967). Aspects of action. The logic of decision and action (ed. Rescher, N.). Pittsburgh: University of Pittsburgh Press.
Shannon, C. (1950). Programming a computer for playing chess. Philosophical Magazine, 41.
Simon, H.A. (1965). The logic of rational decision. British Journal for the Philosophy of Science, 16, 169-86.
Simon, H.A (1966). On Reasoning about actions. Carnegie Institute of Technology: Complex Information Processing Paper 87.
Simon, H.A. (1967). The logic of heuristic decision making. The logic of decision and action (ed. Rescher, N.). Pittsburgh: University of Pittsburgh Press.
Sosa, E. (1967). Hypothetical reasoning. Journal of Philosophy, 64, 293-305.
Turing, A.M. (1950). Computing machinery and intelligence. Mind, 59, 433-60.
von Wright, C.H. (1963). Norm and action: a logical enquiry. London: Routledge.
von Wright, C.H. (1967). The Logic of Action - a sketch. The logic of decision and action (ed. Rescher, N.). Pittsburgh:University of Pittsburgh Press.