Observational Semantics for Dynamic Logic with Binders.

Rolf Hennicker Alexandre Madeira

Published in: WADT (2016)

Keyphrases

dynamic logic
propositional dynamic logic
reasoning about actions
modal logic
modal operators
case based reasoning
first order logic
formal semantics
agent programming
imperative programs
object oriented
temporal logic