Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 , pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springe [Book Review]

Journal of Symbolic Logic 51 (1):225-227 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273958

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Semantical Considerations on Floyd-Hoare Logic.Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh - 1986 - Journal of Symbolic Logic 51 (1):225-227.
Mathematical Foundations of Computer Science 1991 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : Proceedings.Andrzej Tarlecki & International Symposium on Mathematical Foundations of Computer Science - 1991
Computer Science Logic 9th International Workshop, Csl '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29, 1995 : Selected Papers'.H. Kleine Büning & European Association for Computer Science Logic - 1996 - Springer Verlag.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Mathematical Foundations of Computer Science 1990 Banská Bystrica, Czechoslovakia, August 27-31, 1990 : Proceedings.B. Rovan & Symposium on Mathematical Foundations of Computer Science - 1990
Proceedings Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; Sponsored by the Computer Society of the Ieee Technical Committee on Mathematical Foundations of Computing in Cooperation with Acm Sigact, Association for Symbolic Logic, European Association for Theoretical Computer Science.Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science, Ieee Computer Society & Special Interest Group for Automata and Computability Theory - 1987
Harel David. Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic. Theoretical computer science, vol. 12 , pp. 61–81. [REVIEW]Rohit Parikh - 1985 - Journal of Symbolic Logic 50 (2):552-553.
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings.Jerzy Marcinkowski, Andrzej Tarlecki & European Association for Computer Science Logic - 2004 - Springer Verlag.
Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.
Proceedings: June 4-7, 1990, Philadelphia, PA.. 5.Association for Symbolic Logic, Acm Special Interest Group for Automata and Computability Theory, European Association for Theoretical Computer Science & Ieee Computer Society - 1990
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings.Anil Nerode & YuV Matiyasevich - 1994 - Springer.
Logics of Programs Brooklyn, June 17-19, 1985 : Proceedings.Rohit Parikh - 1985
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
Logic From Computer Science Proceedings of a Workshop Held November 13-17, 1989.Yiannis N. Moschovakis - 1992

Analytics

Added to PP
2016-06-30

Downloads
38 (#421,716)

6 months
6 (#529,161)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.

Add more citations

References found in this work

No references found.

Add more references