Blackburn, Patrick, 1959- Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema - Cambridge, England Cambridge University Press, c2001 2001 - xxii, 554 p. 23 cm. - Cambridge Tracts in Theoretical Computer Science ; 53 . Bibliografía: p. 524-543 ISBN: 978-0-521-52714-9 Subjects--Topical Terms: LOGICA MATEMATICA Dewey Class. No.: 511.3/B562m