@book{18118,
	author = {Hughes, G.E and Cresswell, M.J},
	title = {A new introduction to modal logic},
	address = {London}
}