المنطق كيتستخدم لتقديم دلالات رسمية لكيفية تطبيق وظائف التفكير على الرموز في نظام KR.