Algebraic modal correspondence: Sahlqvist and beyond

در این مقاله، یک روش مقدماتی جدید از نظریه مکاتبات بسیار خوبی برای منطق مودال کلاسیک پیشنهاد شده است. اولین انگیزه برای درمان حاضر، در نظر گرفتن تقسیم بندی است: مکاتبات کلاسیک سالخویست به روش یکنواخت و مدولار ارائه می شود و بر خلاف کتاب های موجود در کتاب های درسی، خود را به طبقه ای از فرمول ها که خارج از مناسب کلاس های اهل منطق قرار می گیرد گسترش می دهد. انگیزه دوم روش شناسی است: هدف درمان حاضر به برجسته کردن جبری و نظم نظری مکانیسم مطابقت است. این نمایشگاه ابتدایی باقی می ماند و هیچ گونه دانش قبلی و آشنایی با رویکرد جبری به منطق پیش فرض ندارد. با این حال، انگیزه و شهود پایه ای برای تحولات اخیر در نظریه منطق غیر کلاسیک، که متشکل از نظریه ی همبستگی متقابل است، فراهم می کند.