K-Modallogik/B-System/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
B-System

Das modallogische -System, in dem das Reflexivitätsaxiom und das Symmetrieaxiom gilt, heißt -System.