Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Logika sa zaoberá základnými pojmami pravdy a nepravdy. Modálna logika vznikla z.
Filozofické štúdium „modov pravdy“, pričom najčastejšie sa používajú dva mody: „nevyhnutne pravdivý“ a „prípadne pravdivý“. V súčasnosti sa modálna logika používa okrem iného na uvažovanie o poznatkoch, o povinnostiach, o programoch a o čase.
Aktuálny výskum v oblasti modálnej logiky zahŕňa filozofiu, informatiku a matematiku, pričom sa využívajú techniky z relačných štruktúr, univerzálnej algebry, topológie a teórie dôkazov.
V tomto zborníku sú zaznamenané príspevky prednesené na konferencii Advances in Modal Logic 2020, ktorá sa koná každé dva roky a ktorej cieľom je informovať o dôležitých nových poznatkoch v oblasti čistej a aplikovanej modálnej logiky.
Témy zahŕňajú výsledky rozhodnuteľnosti a zložitosti, teóriu dôkazov, teóriu modelov, interpoláciu, súvisiace problémy v algebraickej logike, ako aj históriu modálneho uvažovania.