An exercise on the generation of many-valued dynamic logics

در دهه های گذشته، منطق پویا در حوزه های مختلف به عنوان یک فرمالیزم مناسب مورد استفاده قرار گرفته و طیف وسیعی از سیستم ها را مشخص کرده است. از سوی دیگر، منطق با معانی بسیار ارزشمند به عنوان یک ابزار جالب برای رسیدگی به دستگاهها و سناریوهایی که عدم اطمینان یک نگرانی اصلی است، در حال ظهور است. این مقاله به دنبال ترکیب این دو جنبه از طریق توسعه یک روش برای ساخت سیستماتیک منطق پویای با ارزش است. از لحاظ تکنیکی، روش با پارامترهای یک شیء عمل می کند که هر دو پارادایم محاسباتی و فضای حقیقی را تعریف می کند (به ترتیب مربوط به جبر کلین و جابجایی مجدد).