Dynamic interpretation and Hoare deduction

&
Journal of Logic, Language and Information 1 (1):1-44 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00203385

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 105,810

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

Dynamic interpretation and HOARE deduction.Jan Eijck & Fer-Jan Vries - 1992 - Journal of Logic, Language and Information 1 (1):1-44.
Jaap van der Does & Jan Van Eijk, eds., Quantifiers, Logic, and Language. [REVIEW]Varol Akman - 1998 - Natural Language Engineering 4 (4):363-382.
16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics.Reinhard Muskens - 2017 - A Programming Road to Logic, Maths, Language, and Philosophy : A Tribute to Jan van Eijck on the Occasion of His Retirement.
J. van Eijck and A. Visser, Logic and Information Flow.C. Brink - 1997 - Journal of Logic Language and Information 6:337-338.
François Lepage, Elias Thijsse, Heinrich Wansing/In-troduction 1 J. Michael Dunn/Partiality and its Dual 5 Jan van Eijck/Making Things Happen 41 William M. Farmer, Joshua D. Guttman/A Set Theory. [REVIEW]René Lavendhomme, Thierry Lucas & Sequent Calculi - 2000 - Studia Logica 66:447-448.
Łukasiewicz Jan. On the intuitionistic theory of deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 , pp. 202–212; also Indagationes mathematicae, vol. 14 , pp. 202–212. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):216-216.
Reasoning about update logic.Jan van Eijck & Fer-Jan de Vries - 1995 - Journal of Philosophical Logic 24 (1):19-45.
Kijken naar de zon: filosofische essays over de godsvraag : opgedragen aan Jan van der Veken.André Cloots, Luc Braeckmans & Jan van der Veken - 1998
De Zachte Toon der Herdersfluit de Pastorale Poetica van Jan Baptista Wellekens, 1658-1726 = the Pastoral Poetics of Jan Baptista Wellekens, 1658-1726.Jan Leopold Peter Blommendaal - 1987
De fenomenologie van Jan Patocka.Guy Van Kerckhoven - 1991 - de Uil Van Minerva 8.

Analytics

Added to PP
2014-04-05

Downloads
47 (#521,599)

6 months
4 (#1,002,927)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Fer-Jan de Vries
University of Leicester
Jan Van Eijck
University of Amsterdam

Citations of this work

Implicit and Explicit Stances in Logic.Johan van Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
The values of variables in dynamic semantics.Paul Dekker - 1996 - Linguistics and Philosophy 19 (3):211 - 257.

View all 10 citations / Add more citations

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
A Theory of Truth and Semantic Representation.Hans Kamp - 2002 - In Paul H. Portner & Barbara H. Partee, Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
E-type pronouns and donkey anaphora.Irene Heim - 1990 - Linguistics and Philosophy 13 (2):137--77.
Modal subordination and pronominal anaphora in discourse.Craige Roberts - 1989 - Linguistics and Philosophy 12 (6):683 - 721.

Add more references