Resource-Bounded Reasoning about Knowledge

Dipl.Inf.

April 2001

- Acknowledgments
- Contents
- Introduction
- Modal epistemic logic
- Other models of knowledge
- Explicit knowledge
- Algorithmic knowledge
- Conclusion
- Propositional modal, temporal, and dynamic logic
- Formal Proofs
- Bibliography
- About this document ...

2001-04-05