A generic complete dynamic logic for reasoning about purity and effects.

Till Mossakowski Lutz Schröder Sergey Goncharov

Published in: Formal Aspects Comput. (2010)

Keyphrases

dynamic logic
modal logic
modal operators
reasoning about actions
machine learning
imperative programs
data sets
multi dimensional
propositional dynamic logic
classical first order logic
domain specific
qualitative reasoning
agent programming