Toward a Dynamic Logic of Questions.

Johan van Benthem Stefan Minica

Published in: J. Philos. Log. (2012)

Keyphrases

dynamic logic
modal logic
reasoning about actions
answer questions
imperative programs
open questions
agent programming
multiple input
propositional dynamic logic
multiple choice
classical first order logic
artificial intelligence
query language
object oriented
first order logic
modal operators