Zum Inhalt springen

Modallogik/K/System/Widerspruchsfrei/Auffüllung/Fakt

Aus Wikiversity

Es sei eine modallogische Ausdrucksmenge, die aussagenlogisch widerspruchsfrei sei.

Dann gibt es eine maximal widerspruchsfreie Ausdrucksmenge .