Review of "Checking Landau's "Grundlagen" in the Automath system" by L. S. Van Benthem Jutting. Mathematical Centre 1979.: "First order dynamic logic" by David Harel. Springer-Verlag 1979. And "A programming logic" by Robert L. Constable and Michael J. O'Donnell. Winthrop Publishers 1978.
John C. CherniavskyPublished in: SIGACT News (1980)
Keyphrases
- dynamic logic
- springer verlag
- classical first order logic
- first order logic
- learning curve
- modal logic
- john mccarthy
- propositional dynamic logic
- reasoning about actions
- computer society
- programming language
- monte carlo
- modal operators
- imperative programs
- multiple input
- agent programming
- theorem proving
- inference rules
- conditional logic
- natural language
- temporal logic
- computer algebra
- logic programming
- object oriented