BLACKBURN, Patrick - RIJKE, de Maarten - VENEMA, Yde. Modal Logic. 53 Cambridge Tracts in Theoretical Computer Science. 4. vyd. New York : Cambridge University Press, 2010. 554 s. Cambridge Tracts in Theoretical Computer Science. ISBN 978-0-521-52714-9.