LCS Publication Details
Publication Title: THE DEDUCIBILITY PROBLEM IN PROPOSITIONAL DYNAMIC LOGIC
Publication Author: Meyer, Albert, R.
Additional Authors: Streett, Robert S. and Mirkowska, Grazina
LCS Document Number: MIT-LCS-TM-192
Publication Date: 2-1-1981
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
The problem of whether an arbitrary formula of Propositional Dynamic Logic (PDL0) is deducible from a fixed axiom scheme of PDL is ||,1.complete. This contrasts with the decidability of the problem when the axiom scheme is replaced by any single PDL formula.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.