Login / Signup
Definability in Dynamic Logic.
Albert R. Meyer
Rohit Parikh
Published in:
J. Comput. Syst. Sci. (1981)
Keyphrases
</>
dynamic logic
fixed point
propositional logic
modal logic
reasoning about actions
first order logic
imperative programs
agent programming
classical first order logic
propositional dynamic logic
finite model theory
database
multi dimensional
database theory