Toward a Dynamic Logic of Questions.

Johan van Benthem Stefan Minica

Published in: LORI (2009)

Keyphrases

dynamic logic
reasoning about actions
modal logic
answer questions
question answer
propositional dynamic logic
imperative programs
first order logic
open questions
agent programming
multiple input
neural network
expert systems
dynamical systems
classical first order logic