Nonstandard models in Propositional Dynamic Logic

  • Francine Berman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)


Continuity Property Program Operator Basic Program Sequential Execution Intended Interpretation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Be]
    Berman, F., "Syntactic and Semantic Structure in Propositional Dynamic Logic," Ph.D. Dissertation, University of Washington, August, 1979.Google Scholar
  2. [F&L]
    Fischer, M.J. and Ladner, R.E., "Propositional Dynamic Logic of Regular Programs," JCSS 18:2, April 1979.Google Scholar
  3. [Pa]
    Parikh, R., "A Completeness Result for Propositional Dynamic Logic," Symposium on the Mathematical Foundations of Computer Science, Zakopane, Poland, 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Francine Berman
    • 1
  1. 1.Purdue UniversityW. Lafayette

Personalised recommendations