“...Scandinavian Logic Symposium University of Oslo)...”