A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.

Till Mossakowski Lutz Schröder Sergey Goncharov

Published in: FASE (2008)

Keyphrases

dynamic logic
modal operators
modal logic
neural network
imperative programs
temporal logic
spatial reasoning
reasoning about actions
classical first order logic
domain specific
plan recognition
formal theory
agent programming