LCS Publication Details
Publication Title: A DECIDABILITY RESULT FOR A SECOND ORDER PROCESS LOGIC
Publication Author: Parikh, Rohit
Additional Authors:
LCS Document Number: MIT-LCS-TM-112
Publication Date: 9-1-1978
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
We prove the decidability of the validity problem for a rather general language for talking about computations. As corollaries of our result, we obtain some decidability results of Pratt, Constable, Fischer-Ladner, and Pnueli and also a new decidability result for deterministic propositional dynamic logic.
To obtain this publication:

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