@article{AP06:nbhdfol,
	Author = {Horacio Arl\'{o}-Costa and Eric Pacuit},
	Journal = {Studia Logica},
	Title = {First-Order Classical Modal Logic},
	Volume = {84},
	Year = {2006}}