K-Modallogik/T-System/Definition

T-System

Das modallogische ${}K$-System, in dem das Reflexivitätsaxiom gilt, heißt ${}T$-System.