Browsing AI Memos (1959 - 2004) by Author "Litvintchouk, S.D."

Now showing items 1-1 of 1

    • A Proof-Checker for Dynamic Logic 

      Litvintchouk, S.D.; Pratt, V.R. (1977-06-01)
      We consider the problem of getting a computer to follow reasoning conducted in dynamic logic. This is a recently developed logic of programs that subsumes most existing first-order logics of programs that manipulate ...