Login / Signup

The Deducibility Problem in Propositional Dynamic Logic.

Albert R. MeyerRobert S. StreettGrazyna Mirkowska
Published in: ICALP (1981)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • artificial intelligence
  • relational databases
  • data model
  • natural language
  • software engineering
  • logic programs