Login / Signup

Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.

Norman Y. FooDongmo Zhang
Published in: Advances in Modal Logic (2000)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • logic programming
  • situation calculus
  • probabilistic model
  • artificial intelligence
  • social networks
  • decision trees