در این پایان نامه به صورتبندی و بیان یک سیستم استنتاجی برای یک منطق کنترل دسترسی پرداخته ایم که هم برای کنترل دسترسی و هم برای بررسی تطابق با قوانین مفید است. این سیستم منطقی قابلیت بیان سیستمهای کنترل دسترسی، به عنوان یک دستگاه حقوقی و قانونی را دارد. نخست عملگر says، از منطقهای کنترل دسترسی را مورد توجه قرار داده ایم. عملگر says مفهوم «گفتن» به عنوان یک وجه در منطق موجهاتی بیان میشود. در این دیدگاه عملگر says مفهوم «گفتن» را به صورت شهودی مدلسازی میکند. سپس با بیان آن براساس حساب لاندای نوع دار، نشان داده شده که سیستم استنتاجی شهودگرایانه، بر استدلال بر محرمانگی، با توجه به سطوح محرمانگی، مطابقت دارد. برای عملگر says سه تعبیر درخواست، تأیید و اعلان معرفی شده است. از جمله مفاهیم مهمی که با استفاده از عملگر says قابل بیان است، وکالت و نقل قول هستند. سپس عملگر says را با بردن به سیستمهای حقوقی تکمیل کرده و به آن امکان داده شده که بنا به کاربرد آن در جمله تعبیر شود. سیستمهای حقوقی برای بیان و صورتبندی قوانین و بیان سیستم استنتاجی مربوط به آن ارائه شده اند. سیستمهای حقوقی به علت پیچیدگیهای خاص خود، ما را به سیستمهای استنتاجی غیر یکنوا راهنمایی میکنند. در این پایان نامه سیستم استنتاجی مورد نظر را به تفصیل بیان کرده ایم که با استفاده از ارزش نامشخص برای برخی جملات، توانمند شده است. در سیستمهای استنتاجی غیریکنوا ممکن است از یک مجموعه فرضیات، چند جواب بدست آید. علاوه بر این در «اجازه سخن گفتن» با استفاده از وظایف تودرتو توانسته ایم قابلیتهای زبانی بالایی را در اختیار بگیریم. در انی منطق «وظیفه» و «مجوز» به عنوان دوگان یکدیگر معرفی شده اند و این ساختار زبانی و استنتاجی به زبان و استنتاج معمولی بشری بسیار نزدیک است. با بیان چند مثال، قابلیتهای زبانی و استنتاجی ارائه شده را تشریح کرده و در نهایت با بیان و بررسی پارادکس پروتاگوراس نشان داده ایم که سیستم معرفی شده قابلیت بررسی سیستمهای حقوقی پیچیده را نیز دارد. در این پایان نامه به ارائه یک سیستم منطقی به همراه اصول موصوعه مناسب آن پرداخته شده که با مدلهای کریپکی معناشناسی شده و برای آن قضایای سلامت، تمامیت و تصمیم پذیری نیز اثبات شده و با استفاده از زیرفرمولها تصمیم پذیری بررسی هماهنگی با قوانین، برای یک سیستم، اثبات شده است.