Regular equivalence and dynamic logic.

Maarten Marx Michael Masuch

Published in: Soc. Networks (2003)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
agent programming
propositional dynamic logic
multiple input
database
general purpose
dynamic environments
temporal logic
datalog programs
classical first order logic