La lógica temporal tiene dos clases de operadores: operadores lógicos y operadores modales .