Eigenschaften der D-E Systeme
Adäquate Respräsentation vom expliziten Wissen
Alle Formen des LOP gelöst. Unter keiner logischen Schlußregel ist Wissen abgeschlossen.
Agenten trotzdem rational: wenn p ? q gültig, dann auch Kp ? <F>Kq
Mit Konfluenz: Eingeschränkte Korrespondenz: <F>Kp is D-E-Theorem gdw Kp ist M-E-Theorem