{"identifier":"nobleid:/w1/20260521/ADC0134F","arkIdentifier":"ark:/48914/w1/20260521/ADC0134F","version":1,"workTitle":"The deducibility problem in Propositional Dynamic Logic","workType":"Journal Article","authors":"Albert R. Meyer, Robert S. Streett, Grażyna Mirkowska","description":null,"workUrl":null,"existingDoi":"10.1007/3-540-10843-2_20","createdAt":"2026-05-21T13:10:58.404286Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/ADC0134F.v1"}