@book{7449,
	author = {Mints, Grigori},
	title = {A short introduction to modal logic},
	address = {Stanford},
	note = {Exercises}
}