Por ejemplo, el sistema S4, que incluye los axiomas T y B, es consistente y completo respecto a las interpretaciones en que "R" es reflexiva y transitiva.