Login / Signup

The Deducibility Problem in Propositional Dynamic Logic.

Albert R. MeyerRobert S. StreettGrazyna Mirkowska
Published in: Logic of Programs (1979)
Keyphrases
  • propositional dynamic logic
  • reasoning about actions
  • dynamic logic
  • relational databases
  • modal logic