On a graph calculus for modalities

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