Login / Signup

Propositional Dynamic Logic with Local Assignments.

Michael L. TiomkinJohann A. Makowsky
Published in: Theor. Comput. Sci. (1985)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • lower bound
  • software engineering
  • machine learning
  • learning algorithm
  • cooperative
  • multi agent systems
  • relational databases
  • situation calculus