On dynamic logic.

Petr Hájek Pavel Kalásek Petr Kurka

Published in: Kybernetika (1980)

Keyphrases

dynamic logic
modal logic
reasoning about actions
agent programming
propositional dynamic logic
imperative programs
first order logic
knowledge base
expert systems
classical logic
nonmonotonic logics