Institutions for navigational logics for graphical structures

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