The Community for Technology Leaders
19th Annual Symposium on Foundations of Computer Science (sfcs 1978) (1978)
Oct. 16, 1978 to Oct. 18, 1978
ISSN: 0272-5428
pp: 177-183
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.
INDEX TERMS
CITATION

R. Parikh, "A decidability result for a second order process logic," 19th Annual Symposium on Foundations of Computer Science (sfcs 1978)(FOCS), vol. 00, no. , pp. 177-183, 1978.
doi:10.1109/SFCS.1978.2
91 ms
(Ver 3.3 (11022016))