Dynamic Logic: A Review.

Published in: AI Mag. (2002)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
literature review
classical first order logic
propositional dynamic logic
real time
data sets
neural network
artificial intelligence
search engine
software engineering
fixed point
agent programming
relevant literature