In einem K-Rahmen ist

notwendig P > möglich P

keine Tautologie und es gibt einen entsprechenden nicht abgeschlossenen Tableaubeweis.
Ich kann mir nur leider keinen Rahmen vorstellen in dem entsprechende Formel = f, denn sobald notwendig P = t müßte doch (nach Definition) auch möglich P = t sein.

(Folie Eschenbach: 11-22, wenn ich mich richtig erinnere)

Naja, bei K-Rahmen ist es erlaubt, dass eine
Welt mit keiner anderen Welt verbunden ist.

Wenn in einem Rahmen keine Welt mit einer
anderen verbunden ist, gilt zwar überall
"notwendig P", (weil in allen verbundenen
Welten P gilt) aber nicht "möglich P"
(weil es keine verbundene Welt gibt, in der
P gilt).