Legality of Cannabis by U.S. Jurisdiction

[PDF] from core.ac.uk

An elementary proof of the completeness of PDL

Authors

Dexter Kozen, Rohit Parikh

Publication date

1981/1/1

Journal

Theoretical Computer Science

Volume

Issue

Pages

113-118

Publisher

Elsevier

Description

We give an elementary proof of the completeness of the Segerberg axioms for Propositional Dynamic Logic.

Total citations

Cited by 246

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 3 3 3 7 7 4 2 3 1 3 4 3 3 6 5 9 3 8 8 5 4 17 9 4 8 5 18 3 4 6 7 3 6 7 7 7 3 7 4

Scholar articles

An elementary proof of the completeness of PDL

D Kozen, R Parikh - Theoretical Computer Science, 1981

THC Science

Bringing Science to the Cannabis Conversation!

Legality of Cannabis by U.S. Jurisdiction

View article