Reasoning about Action and Change. A Dynamic Logic Approach.

Helmut Prendinger Gerhard Schurz

Published in: J. Log. Lang. Inf. (1996)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
propositional dynamic logic
multiple input
agent programming
artificial intelligence
relational databases
object oriented
multi dimensional
first order logic