@book{51606,
	author = {Hughes, G. E. and Cresswell, M. J.},
	title = {An introduction to modal logic},
	publisher = {Methuen},
	year = {1968.},
	address = {London}
}