Login / Signup

The Completeness of Propositional Dynamic Logic.

Rohit Parikh
Published in: MFCS (1978)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • domain knowledge
  • data sets
  • databases
  • knowledge base
  • high level
  • response time
  • logic programming