La lógica se utiliza para brindar la semántica formal de cómo deben aplicarse las funciones de deducción a los símbolos en un sistema KR.