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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine modallogische Ausdrucksmenge, die aussagenlogisch widerspruchsfrei sei.

Dann gibt es eine maximal widerspruchsfreie Ausdrucksmenge .