Skip to content

The Completeness of Propositional Dynamic Logic.

Rohit Parikh

VenueBMFCS
Year1978
ProceedingsMFCS

Browse the full MFCS paper archive.