Axiomatizing distance logics.

Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, and Michael Zakharyaschev 

@Article{	  kutzetal02,
  author	= {O. Kutz AND H. Sturm AND N.-Y. Suzuki AND F. Wolter AND M.
		  Zakharyaschev},
  title		= {Axiomatizing distance logics},
  journal	= {Journal of {A}pplied {N}on-{C}lassical {L}ogic},
  pages		= {425--440},
  volume	= {12},
  year		= {2002}
}