Semantical Considerations on Floyd-Hoare Logic

Journal of Symbolic Logic 51 (1):225-227 (1986)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273958
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,634
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Combining Montague Semantics and Discourse Representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
Reasoning About Games.Melvin Fitting - 2011 - Studia Logica 99 (1-3):143-169.
Making a Start with the Stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.

View all 13 citations / Add more citations

Similar books and articles
The Semantics of HOARE's Iteration Rule.Robert Goldblatt - 1982 - Studia Logica 41 (2-3):141 - 158.
On the Completeness of Program Verifications Methods.Balazs Biro - 1981 - Bulletin of the Section of Logic 10 (2):83-88.
Semantical Considerations on Intuitionistic Mathematics.E. W. Beth - 1948 - Journal of Symbolic Logic 13 (3):173-173.
Semantical Considerations on Modal Logic.Saul A. Kripke - 1963 - Acta Philosophica Fennica 16 (1963):83-94.
Semantical Considerations for Modal Logics by Saul A. Kripke.Dov Gabbay - 1969 - Journal of Symbolic Logic 34 (3):501-501.
Remarks on Floyd-Hoare Derivability.Laszlo Csirmaz - 1980 - Bulletin of the Section of Logic 9 (3):131-133.
Separation Logics and Modalities: A Survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.
Tableaux for Constructive Concurrent Dynamic Logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.
Modal Logic and Possible Worlds.Rohit Parikh - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--339.
"Is", Semantical Games, and Semantical Relativity.Jaakko Hintikka - 1979 - Journal of Philosophical Logic 8 (1):433 - 468.
Reasoning About Update Logic.Jan van Eijck & Fer-Jan de Vries - 1995 - Journal of Philosophical Logic 24 (1):19-45.
Added to PP index
2015-02-05

Total downloads
11 ( #460,584 of 2,236,126 )

Recent downloads (6 months)
1 ( #446,600 of 2,236,126 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature