• Tools and Techniques in Modal Logic: M. Kracht 1999 Elsevier


  • 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