Interpreting logics of knowledge in propositional dynamic logic with converse
References (8)
- et al.
Decision procedures and expressiveness in the temporal logic of brancing time
J. Comput. System Sci.
(1985) - et al.
Propositional dynamic logic of regular programs
J. Comput. System Sci.
(1979) - et al.
Knowledge and common knowledge in a distributed environment
- et al.
Foundations of knowledge for distributed systems
et al.
There are more references available in the full text version of this article.
Cited by (10)
A guide to completeness and complexity for modal logics of knowledge and belief
1992, Artificial IntelligenceThe complexity of reasoning about knowledge and time. I. Lower bounds
1989, Journal of Computer and System SciencesReasoning about types of action and agent capabilities
2013, Logic Journal of the IGPLA reduction from DLP to PDL
2005, Journal of Logic and ComputationComputational complexity of multimodal logics based on rough sets
2000, Fundamenta InformaticaeProduct of converse PDL and polymodal K
2000, Journal of Logic and Computation
- ∗
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.
Copyright © 1987 Published by Elsevier B.V.