Semantical Considerations on Floyd-Hoare Logic

Journal of Symbolic Logic 51 (1):225-227 (1986)
Authors
Rohit Parikh
CUNY Graduate Center
Krister Segerberg
Uppsala University
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273958
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,941
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.

Analytics

Added to PP index
2015-02-05

Total downloads
13 ( #442,562 of 2,293,872 )

Recent downloads (6 months)
2 ( #254,453 of 2,293,872 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature