¿Qué es un buen primer libro de texto sobre lógica modal?

Esto depende en parte de su fondo.

Si tiene antecedentes matemáticos (parece razonable, ya que está siguiendo a Gowers y Tao) y / o su presupuesto es 0, Logics of Time and Computation de Robert Goldblatt (http://standish.stanford.edu/bin…) es bastante bueno Es donde recogí lo básico. Pero no cubre el uso clásico de la lógica modal por necesidad y posibilidad en cualquier profundidad.

Si tiene una formación en lógica más específica, también puede encontrar que el primer capítulo del Manual de lógica modal es una buena introducción de ritmo rápido. Las versiones impresas ahora son difíciles de encontrar (y eran terriblemente caras), pero los autores del capítulo tienen una preimpresión en línea.

La referencia principal para lectores con orientación matemática ha sido durante mucho tiempo una Introducción a la lógica modal de Hughes y Creswell. Su nueva versión ( Una nueva introducción a la lógica modal ) combina el original con la mayor parte de la secuela del original. Solo he leído partes de él, pero la buena reputación parece merecida.

Una nueva introducción a la lógica modal

Amazon.com: Una nueva introducción a la lógica modal (9780415126007): MJ Cresswell, GE Hughes: Libros

Un libro de texto clásico.

La «lógica modal para los filósofos» de James Garson es una excelente introducción para la lógica modal. También hay muchas cosas buenas en línea, solo busca la lógica modal