Nonstandard Dynamic Logic.

István Németi

Published in: Logic of Programs (1981)

Keyphrases

dynamic logic
modal logic
reasoning about actions
propositional dynamic logic
imperative programs
agent programming
classical first order logic
machine learning
multiple input
software engineering
modal operators