Algebraic Semantics for Dynamic Dynamic Logic.

Minghui Ma Jeremy Seligman

Published in: LORI (2015)

Keyphrases

dynamic logic
propositional dynamic logic
reasoning about actions
modal logic
formal semantics
imperative programs
dynamic environments
modal operators
data sets
databases
general purpose
multiple input
classical first order logic