Advances in Modal Logic 14
Už od staroveku filozofi uznávali, že pravda sa objavuje v.
Mnoho „spôsobov“, takže tvrdenie môže byť nielen pravdivé alebo nepravdivé, ale.
Tiež napr. „nutná“ alebo „možná“. Tieto myšlienky viedli k modernej oblasti.
Modálnej logiky, živého sú výskumu na priesečníku.
Filozofie, matematiky a informatiky.
V súčasnosti sa pojem „modálna logika“ chápe v širokom zmysle, ktorý.
Umožňuje ju používať na uvažovanie o zdanlivo nesúvisiacich javoch.
Ako sú napríklad znalosti, povinnosti, čas, priestor a dôkazy, okrem mnohých.
Iné. Aktuálny výskum v oblasti modálnej logiky čerpá z techník mnohých.
Disciplín vrátane teórie zložitosti, kombinatoriky, univerzálnej.
algebry, teórie kategórií, topológie a teórie dôkazov.
Tento zborník zaznamenáva príspevky prednesené na konferencii 2022 Advances in.
Modal Logic, sérii konferencií, ktoré sa konajú každé dva roky a ktorých cieľom je informovať o.
Dôležité nové trendy v čistej a aplikovanej modálnej logike. Témy.
V tomto ročníku zahŕňajú konštruktívnu a subštruktúrnu modálnu logiku,.
Unifikácia, algebraická sémantika a sémantika susedstva, teória dôkazov a.
Zložitosť modálnych logík a verifikácia v modálnej logike.