Para demostrar que una fórmula formula_5 es verdadera en un cierto mundo, se escribe formula_37, normalmente interpretado como "formula_5 es verdadero en (M,s)," o "(M,s) cumple con la relación formula_5".