El libro de Graham Priest (2001) es una buena introducción a las lógicas modales (entre otras lógicas no clásicas) que emplea las tablas analíticas.