@book{380345,
	author = {Chagrov, Alexander and Zakharyaschev, Michael},
	title = {Modal logic},
	publisher = {Clarendon Press ; Oxford University Press},
	year = {c1997},
	address = {Oxford},
	note = {Includes bibliographical references (p. [567]-595) and index}
}