Modal logic
Patrick Blackburn, Maarten de Rijke, Yde Venema.
Cambridge [England] ; New York : Cambridge University Press, 2001.
xxii, 554 págs. ; 24 cm.
Serie: Cambridge tracts in theoretical computer science ; 53
ISBN: 0521802008 (hbk.)
Incluye referencias bibliográficas (p. 524-543) e índice.
Reseña: MathSciNet, 2003b:03001