A lòggica è usata pì furniri a semantica furmali ri comu li funzioni ri raggionamentu avissiru a èssiri applicati a li simbuli ntô sistema KR.