K-Modallogik/D-System/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
D-System

Das modallogische -System, in dem das Möglichkeitsaxiom gilt, heißt -System.