Review: Albert R. Meyer, Rohit Parikh, Definability in Dynamic Logic [Book Review]

Journal of Symbolic Logic 49 (4):1420-1421 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Albert R. Meyer and Rohit Parikh. Definability in dynamic logic. Journal of computer and system sciences, vol. 23 , pp. 279–298. [REVIEW]David Harel - 1984 - Journal of Symbolic Logic 49 (4):1420-1421.
Review: David Harel, Dynamic Logic. [REVIEW]Lenore D. Zuck - 1989 - Journal of Symbolic Logic 54 (4):1480-1481.
Review: David Harel, First-Order Dynamic Logic. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Review: David Harel, Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic. [REVIEW]Rohit Parikh - 1985 - Journal of Symbolic Logic 50 (2):552-553.
The Complete Bibliography of Rohit Parikh.Rohit Parikh - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society. Cham, Switzerland: Springer Verlag.
The Logic of Approximate Dependence.Jouko Väänänen - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society. Cham, Switzerland: Springer Verlag.
Harel David. Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic. Theoretical computer science, vol. 12 , pp. 61–81. [REVIEW]Rohit Parikh - 1985 - Journal of Symbolic Logic 50 (2):552-553.
Review: Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg, Time-Restricted Sequence Generation. [REVIEW]Jiri Becvar - 1975 - Journal of Symbolic Logic 40 (4):616-617.
A Non-classical Logical Approach to Social Software.Can Başkent - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society. Cham, Switzerland: Springer Verlag.
Modeling Monty Hall in If Logic.Silviu Velica & Gabriel Sandu - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society. Cham, Switzerland: Springer Verlag.

Analytics

Added to PP
2013-11-03

Downloads
10 (#1,221,414)

6 months
5 (#711,233)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references