Parametric Linear Dynamic Logic.

Peter Faymonville Martin Zimmermann

Published in: Inf. Comput. (2017)

Keyphrases

dynamic logic
modal logic
reasoning about actions
propositional dynamic logic
artificial intelligence
closed form
agent programming
imperative programs
database
relational databases
mobile robot
query language
first order logic