K-Modallogik/T-System/Definition

T-System

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