Por ejemplo, en el sistema T, la relación de consecuencia lógica (respecto a la cual T es consistente y completo) es la consecuencia lógica en todas las interpretaciones en las que la relación de accesibilidad es reflexiva.