@book{48117,
	author = {Konyndyk, Kenneth},
	title = {Introductory modal logic},
	publisher = {University of Notre Dame Press},
	year = {1986},
	address = {Indiana:}
}