Las condiciones de verdad de los operadores lógicos son igual que antes; sólo varían las condiciones de los operadores modales en mundos no-normales.