Dynamic Logic

&
Journal of Symbolic Logic 54 (4):1480 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274830

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

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

Review: David Harel, Dynamic Logic. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
Harel David. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.
Towards intuitionistic dynamic logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
Dynamic Logic.David Harel, Dexter Kozen & Jerzy Tiuryn - 2000 - MIT Press.
A propositional dynamic logic with qualitative probabilities.Dimitar P. Guelev - 1999 - Journal of Philosophical Logic 28 (6):575-604.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Review: David Harel, First-Order Dynamic Logic. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
First-Order Dynamic Logic.David Harel - 1982 - Journal of Symbolic Logic 47 (2):453-454.
DΔL: a dynamic deontic logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic.David Harel - 1985 - Journal of Symbolic Logic 50 (2):552-553.

Analytics

Added to PP
2016-06-30

Downloads
27 (#586,219)

6 months
12 (#208,861)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
Dynamic logic of preference upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.
An Opinionated Guide to Epistemic Modality.Kai von Fintel & Anthony S. Gillies - 2007 - In Tamar Gendler & John Hawthorne (eds.), Oxford Studies in Epistemology:Volume 2: Volume 2. Oxford University Press. pp. 32-62.
Two puzzles about ability can.Malte Willer - 2020 - Linguistics and Philosophy 44 (3):551-586.
Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.

View all 156 citations / Add more citations

References found in this work

No references found.

Add more references