Advances in Modal Logic, 13. kötet

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Advances in Modal Logic, Volume 13

Könyv tartalma:

A logika az igazság és a hamisság alapvető fogalmaival foglalkozik. A modális logika a.

Az „igazság módozatainak” filozófiai tanulmányozása, a két leggyakoribb módozat a „szükségszerűen igaz” és a „lehetséges igaz”. Manapság a modális logikát többek között az ismeretekről, a kötelezettségekről, a programokról és az időről való gondolkodásra használják.

A modális logika aktuális kutatása kiterjed a filozófiára, az informatikára és a matematikára, a relációs struktúrák, az univerzális algebra, a topológia és a bizonyításelmélet technikáit használva.

Ez a kiadvány az Advances in Modal Logic 2020 konferencián bemutatott előadásokat rögzíti, amely egy kétévente megrendezésre kerülő konferenciasorozat, amelynek célja, hogy beszámoljon a tiszta és alkalmazott modális logika fontos új fejleményeiről.

A témakörök között szerepelnek eldönthetőségi és bonyolultsági eredmények, bizonyításelmélet, modellelmélet, interpoláció, az algebrai logika kapcsolódó problémái, valamint a modális gondolkodás története.