Interpreting logics of knowledge in propositional dynamic logic with converse

Authors:
Michael J. Fischer;Neil Immerman
Affiliations:
Yale Univ., New Haven, CT;Yale Univ., New Haven, CT
Venue:
Information Processing Letters
Year:
1987

Citing 0
Cited 4

Reasoning about knowledge and time in asynchronous systems

STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
The wakeup problem

STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Computational Complexity of Multimodal Logics Based on Rough Sets

Fundamenta Informaticae
Computational Complexity of Multimodal Logics \newline Based on Rough Sets

Fundamenta Informaticae

Quantified Score

Hi-index	0.89

Visualization

Abstract