A second-order dynamic logic with array assignments.

Petr Hájek Petr Kurka

Published in: Fundam. Informaticae (1981)

Keyphrases

dynamic logic
modal logic
higher order
imperative programs
reasoning about actions
first order logic
propositional dynamic logic
agent programming
linear array
classical first order logic
artificial intelligence
high order
temporal logic
focal plane