Prädikatenlogik
Straightforward: ganz allgemein logische Folgebeziehung. Was sind die stärksten epist. Aussagen über log. Konsequenzen d. Wissens?
Keine wesentl. Einsichten zum Wissensbegriff
Viel stärkere Ausdruckfähigkeit: Wissen-was
Kpt(n)?x,y(n=x*y & xɭ & yɭ) (...dass n prim)
?x,yKfr(n)(n=x*y & xɭ & yɭ) (eine Faktorisierg)
pt(n)<<fr(n): Public-Key Kryptographie