Essence and accident modalities meet Belnapian truth values
توسع هذه الورقة منطق FDE ذي القيم الأربع لـ "بيلناب-دان" عبر إضافة الروابط البوليانية لتعريف وتحليل جهات الحقيقة والزيف، والتناقض، وعدم التحديد، سواء كانت جوهرية أو عرضية، مع تزويدها بدلالات "كريبكي" قائمة على نظام S5 ذي القيم الأربع، وحسابات "هايبر-سيكوينت" (hypersequent) خالية من القطع، ونظريات تضمين تثبت السلامة، والتمام، وقابلية الاستغناء عن القطع.