Bibliografia
Principal
- Tools and Techniques in Modal Logic: M. Kracht 1999 Elsevier
Secundária
- Toposes and Local Set Theories: J. Bell 1988 Oxford University Press
- Modal Logic: P. Blackburn, M. de Rijke e Y. Venema 2001 Cambridge University Press
- Modal Logic: A. Chagrov e M. Zakharyaschev 1997 Oxford University Press
- A New Introduction to Modal Logic: G. E. Hughes e M. J. Cresswell 1996 Routledge
- Admissibility of Logical Inference Rules: V. V. Rybakov 1997 Elsevier