The Deducibility Problem in Propositional Dynamic Logic.

Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska

Browse the full ICALP paper archive.