Some Philosophical Problems from the Standpoint of Artificial Intelligence

This publication has 20 references indexed in Scilit:

• The Substitution Interpretation of the Quantifiers
  Noûs, 1968
• An algebraic study of tense logics with linear time
  The Journal of Symbolic Logic, 1968
• "He Could have Done Otherwise"
  The Journal of Philosophy, 1967
• Knowledge, Identity, and Existence¹
  Theoria, 1967
• States, activities and performances
  Australasian Journal of Philosophy, 1967
• The Logic of Change, Action, and Norms
  The Journal of Philosophy, 1965
• The Logic of Knowing
  The Journal of Philosophy, 1963
• Modal Logics I: Modalities and Intensional Languages
  1963
• A Learning Machine: Part I
  IBM Journal of Research and Development, 1958
• A Functional calculus of first order based on strict implication
  The Journal of Symbolic Logic, 1946