Modal logic/

Main Author: Blackburn, Patrick, 1959-
Other Authors: Rijke, Maarten de, Venema, Yde,
Format: Book
Language:English
Published: Cambridge: Cambridge University Press, c2001
Series:Cambridge Tracts in Theoretical Computer Science ; 53
Subjects:
Physical Description:xxii, 554 p. ; 25 cm.
Bibliography:Includes index
ISBN:0521802008