@book{106496,
	author = {Cocchiarella, Nino B. and Freund, Max A.,},
	title = {Modal logic :},
	publisher = {Oxford University Press,},
	year = {2008.},
	address = {New York :}
}