Axiome für Algorithmisches Wissen
System K für K? (gleiche Logik wie Modalsystem. Interpretation anders, andere Begründung)
Knp ?K?p, Knp ?Kmp, wenn n<m
Df(p)p, Kb||p||Daf(p)p, (Kx||p||)*Daf(p)p wenn p zu einer Teilsprache gehört, die entscheidbar ist mit Komplexität f
Wenn untere Grenze bekannt: negatives Wissen ~Kg(p)p (erst recht wenn p kein implizites Wissen)