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