KT45, la lógica modal que resulta de combinar K, T, 4, 5, y la Regla de Generalización del Conocimiento, es conocida como S5.