An Extension of Dynamic Logic for Modelling OCL's @pre Operator.

Thomas Baar Bernhard Beckert Peter H. Schmitt

Published in: Ershov Memorial Conference (2001)

Keyphrases

dynamic logic
modal operators
modal logic
reasoning about actions
propositional dynamic logic
multi dimensional
imperative programs
constraint language
artificial intelligence
knowledge base
object oriented
metamodel
agent programming
classical first order logic