The Deducibility Problem in Propositional Dynamic Logic

• Authors:

• Albert R. Meyer;Robert S. Streett;Grazyna Mirkowska

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 8th Colloquium on Automata, Languages and Programming
• Year:
• 1981