Interpreting logics of knowledge in propositional dynamic logic with converse

https://doi.org/10.1016/0020-0190(87)90129-3Get rights and content

First page preview

First page preview
Click to open first page preview

References (8)

There are more references available in the full text version of this article.

Cited by (10)

  • A reduction from DLP to PDL

    2005, Journal of Logic and Computation
  • Product of converse PDL and polymodal K

    2000, Journal of Logic and Computation
View all citing articles on Scopus

Research supported in part by the National Science Foundation under Grant No. DCR-8405478 and by the Office of Naval Research under Contract No. N00014-82-K-0154.

∗∗

Research supported by a National Science Foundation postdoctoral fellowship and by the Mathematical Sciences Research Institute, Berkely, CA.

View full text