@book{1060,
	author = {Chellas, Brian F.},
	title = {Modal logic :},
	publisher = {Cambridge University Press,},
	year = {[1980]},
	address = {Cambridge [Eng.] ;},
	note = {Includes indexes.}
}