@mastersthesis{kutz00,
   author =    {Oliver Kutz},
   title =     {{K}ripke-{T}yp {S}emantiken f\"{u}r die modale 
	{P}r\"{a}dikatenlogik},
   publisher = {Fachbereich Mathematik, Humboldt--Universit\"at zu Berlin},
   year =      2000,
}