Definability in Dynamic Logic

Albert R. Meyer Rohit Parikh

Published in: STOC (1980)

Keyphrases

dynamic logic
propositional logic
fixed point
reasoning about actions
modal logic
imperative programs
first order logic
classical first order logic
finite model theory
agent programming
database
high level
database theory