1. ¿Por qué lógica modal? Imagina que no basta con saber si una proposición es verdadera o falsa en un único escenario. A veces necesitamos expresar que algo es necesario (ocurre en todos los escenarios posibles) o posible (ocurre en al menos uno). La lógica modal añade a la lógica clásica dos operadores: Con ellos podemos formular distinciones sutiles, como…