A Dynamic Logic for Unstructured Programs with Embedded Assertions.

Mattias Ulbrich

Published in: FoVeOOS (2010)

Keyphrases

dynamic logic
imperative programs
modal logic
reasoning about actions
agent programming
knowledge base
semi structured
structured data
propositional dynamic logic
embedded systems
multi dimensional
sufficient conditions
first order logic
situation calculus