فلسفه منطق

همراهان مُدال (Modal Companions) در منطق

همراهان مُدال، منطق‌های مُدال نرمال هستند که منطق‌های سوپر-انتوئیژنیستی (میانی) را از طریق ترجمه‌ای خاص تفسیر می‌کنند. این همراهان خواص منطق میانی را به ارث می‌برند و ابزاری قدرتمند برای مطالعه منطق‌های میانی با استفاده از روش‌های منطق مُدال فراهم می‌آورند. ترجمه گودل-مک‌کینسکی-تارسکی نقش کلیدی در این ارتباط ایفا می‌کند.