Grundlegende modale Logik: Eine allgemeine Herangehensweise an die Semantik nicht-klassischer modaler Logiken

In dieser Arbeit wird ein allgemeiner Ansatz zur Semantik nicht-klassischer modaler Logiken über algebraische Repräsentationssätze diskutiert. Der Fokus liegt auf dem Fall, in dem die Negation dual selbstadjungiert ist und die Möglichkeit die Notwendigkeit negiert. In diesem Fall können die Darstellungen so eingeschränkt werden, dass nur eine einzige Relation benötigt wird, um sowohl Notwendigkeit als auch Möglichkeit zu repräsentieren.