Por ejemplo, los operadores modales "siempre" y "nunca" se agrupan juntos porque califican el valor de verdad de las proposiciones en relación al tiempo (verdaderas en todo momento o en ningún momento, respectivamente), y ambos son estudiados por la lógica temporal.