@book{7874,
	author = {Blackburn, Patrick. and Rijke de Maarten and Blackburn, Patrick. and Rijke de Maarten},
	title = {Modal Logic:},
	publisher = {Cambridge University Press,},
	year = {2001.},
	address = {London:},
	edition = {Cambridge Tracts in Theoretical Computer Science 53.}
}