Expressing Program Looping in Regular Dynamic Logic.

Albert R. Meyer Karl Winklmann

Published in: Theor. Comput. Sci. (1982)

Keyphrases

dynamic logic
imperative programs
modal logic
reasoning about actions
automatic programming
knowledge representation
static analysis
propositional dynamic logic
classical first order logic
high level
multi agent
computer programs
program execution