Non-uniformity of dynamic logic - Extended abstract.

Michal Grabowski

Published in: Symposium on Computation Theory (1984)

Keyphrases

extended abstract
dynamic logic
modal logic
reasoning about actions
agent programming
imperative programs
propositional dynamic logic
classical first order logic
relational databases
data model
query language
multi dimensional