Explizites Wissen
Explizite Modellierung des Schliessens
Idee: alle Prämissen einer Schlußregel und Anwendung der Regel, dann Konklusion
Annahme: (R) p1?... ? pn ? q
Modalansatz: Kp1?... ? Kpn ? Kq
Realistisch: Kp1?... ? Kpn ?<R>Kq
Bsp. Modus ponens: Kp ? K(p ? q) ? <MP>Kq
Bsp. Axiom: <Ax>K(~(p ? ~p))