Part of the Lecture Notes in Computer Science book series (LNCS, volume 148)
Nonstandard models in Propositional Dynamic Logic
KeywordsContinuity 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.
- [Be]Berman, F., "Syntactic and Semantic Structure in Propositional Dynamic Logic," Ph.D. Dissertation, University of Washington, August, 1979.Google Scholar
- [F&L]Fischer, M.J. and Ladner, R.E., "Propositional Dynamic Logic of Regular Programs," JCSS 18:2, April 1979.Google Scholar
- [Pa]Parikh, R., "A Completeness Result for Propositional Dynamic Logic," Symposium on the Mathematical Foundations of Computer Science, Zakopane, Poland, 1978.Google Scholar
© Springer-Verlag Berlin Heidelberg 1983