next up previous contents
Next: Axioms for algorithmic knowledge Up: Algorithmic knowledge Previous: The language of algorithmic   Contents

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.