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