Login / Signup
The Deducibility Problem in Propositional Dynamic Logic.
Albert R. Meyer
Robert S. Streett
Grazyna Mirkowska
Published in:
Logic of Programs (1979)
Keyphrases
</>
propositional dynamic logic
reasoning about actions
dynamic logic
relational databases
modal logic