K-Modallogik/T-System/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
T-System

Das modallogische -System, in dem das Reflexionsaxiom gilt, heißt -System.