- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Semantical Considerations on Floyd-Hoare Logic
Vaughan R. Pratt, Michael J. Fischer, Richard E. Ladner, Krister Segerberg, Tadeuz Traczyk & Rohit Parikh
Journal of Symbolic Logic 51 (1):225-227 (1986)
Abstract
This article has no associated abstract. (fix it)Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
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.Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.
On Parikh Provability: An Exercise in Modal Logic.Per Lindstrom - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski, Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--287.
Albert R. Meyer and Rohit Parikh. Definability in dynamic logic. Journal of computer and system sciences, vol. 23 , pp. 279–298.David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
E. J. Lemmon. An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg. American philosophical quarterly monograph series, no. 11. Basil Blackwell, Oxford1977, x + 94 pp.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.
The Complete Bibliography of Rohit Parikh.Rohit Parikh - 2017 - In Can Başkent, Lawrence Moss & Ramaswamy Ramanujam, Rohit Parikh on Logic, Language and Society. Cham, Switzerland: Springer Verlag. pp. 353-359.
Krister Segerberg. The logic of deliberate action. Journal of philosophical logic, vol. 11,pp. 233–254.Brian F. Chellas - 1986 - Journal of Symbolic Logic 51 (2):476-477.
Krister Segerberg. Decidability of S4.1. Theoria , vol. 34 , pp. 7–20.Kit Fine - 1974 - Journal of Symbolic Logic 39 (3):611-612.
Krister Segerberg. Some modal logics based on a three-valued logic. Theoria, vol. 33, pp. 53–71.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (2):309-310.
Lennart Âqvist. Reflections on the logic of nonsense. Theoria, vol. 28, pp. 138–157. - Krister Segerberg. A contribution to nonsense-logics. Theoria, vol. 31, pp. 199–217.Krister Segerberg - 1968 - Journal of Symbolic Logic 33 (1):134-136.
Analytics
Added to PP
2015-02-05
Downloads
83 (#675,597)
6 months
16 (#749,564)
2015-02-05
Downloads
83 (#675,597)
6 months
16 (#749,564)
Historical graph of downloads
Author Profiles
Citations of this work
Combining Montague semantics and discourse representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
On the computational complexity of ethics: moral tractability for minds and machines.Jakob Stenseke - 2024 - Artificial Intelligence Review 57 (105):90.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation