Modal logic /

Bibliographic Details

Main Author:	Blackburn, Patrick, 1959-
Other Authors:	Rijke, Maarten de, Venema, Yde, 1963-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2001.
Series:	Cambridge tracts in theoretical computer science ; 53.
Subjects:	Modality (Logic)