Reasoning about algorithmic knowledge

Our logics of algorithmic knowledge will be built up step by step from some basis logic. We shall take the propositional calculus as the basis and develop epistemic systems by adding (proper) epistemic laws to this basis. Now let us see how such laws may look like. We make the simplifying assumption that all agents have the same formal language and employ the same logic in their reasoning.

- Axioms for algorithmic knowledge
- Logics of algorithmic knowledge
- Knowledge and complexity
- Complexity and the lack of knowledge

2001-04-05