Login / Signup

Inquisitive Propositional Dynamic Logic.

Vít PuncochárIgor Sedlár
Published in: J. Log. Lang. Inf. (2021)
Keyphrases
  • propositional dynamic logic
  • dynamic logic
  • reasoning about actions
  • artificial intelligence
  • high level