Process logic: Preliminary report

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1979, Pages 93-100

  Pratt, V R ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AXIOMATIZATION; DECISION PROCEDURE; EXPONENTIAL TIME; PROCESS LOGIC; UPPER BOUND;

EID: 84976661983     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/567752.567761     Document Type: Conference Paper

References (16)

1. Banachowski, L., A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Satwicki. An Introduction to Algorithmic Logic; Metamathematical Investigations in the Theory of Programs. In Math. Found, of Comp. Sc. (eds. Mazurkiewicz and Pawlak), Banach Center Publications, Warsaw. 1977.
2. Dijkstra, E. W. A Disciplint of Programming. Prentice-Hall. 1976
3. Fischer, M. J. and R. E. Ladner. Propositional Modal Logic of Programs. Proc. 9th Ann. ACM Symp. on Theory of Computing, 286-294, Boulder, Col., May 1977.
4. Gentzen, G. Untersuchungen ueber das Logische Schliessen, Math. Zeitschr, 39, 176-210, 405-431. 1934-5.
5. (English tr.: Investigations into Logical Deduction, in The Collected Papers of G. Gentzen, 69-131. 1969.)
6. Harel, D. and V. R. Pratt. Nondeterminism in Logics of Programs. Proc 5th Ann. ACM Symp. on Principles of Programming Languages, 203-213, Tucson, Arizona, Jan. 1978.
7. Hoare, C. A. R. An Axiomatic Basis for Computer Programming. CACM 12, 576-580, 1969.
8. Parikh, R. A Completeness Result for PDL. Symposium on Mathematical Foundations of Computer Science, Zakopane, Warsaw, Sept. 1978.
9. Parikh, R. Second Order Process Logic Internal Report, MIT, April 1978.
10. Pnueli, A. The Temporal Logic of Programs. 18th IEEE Symposium on Foundations of Computer Science, 46-57. Oct. 1977.
11. Pnueli, A. Correctness of Concurrent Programs: The Temporal Logic Approach. Unpublished talk, NSF-CBMS Conference on the Logic of Computer Programming, Troy, NY. June 1978.
12. Pratt, V. R. Semantical Considerations on Floyd-Hoare Logic. Proc. 17th Ann. IEEE Symp. on Foundations of Comp. Sci., 109-121. 1976.
13. Pratt, V. R. A Practical Decision Method for Propositional Dynamic Logic. Proc. 10th Ann. ACM Symp. on Theory of Computing, 326-337, San Diego, Calif., May 1977.
14. Pratt, V. R. A Near Optimal Method for Reasoning About Action. MIT/LCS/TM-113, M. I. T., Oct. 1978.
15. Salwicki, A. Formalized Algorithmic Languages. Bull. Acad. Pol. Sci., Ser. Sci. Math. Astr. Phys. Vol. 18. No. 5. 1970.
16. Segerberg, K. A Completeness Theorem in the Modal Logic of Programs. Preliminary report. Notices of the AMS, 24, 6, A-SS2. Oct. 1977.