Fügt man zum System K das Axiomenschema T hinzu, so erhält man das System T. * Axiomenschema T: oder auch Unter der modalen Deutung ist dieses Schema intuitiv gültig, denn es besagt, dass wahre Aussagen immer auch möglich sind.