Értékelés:
Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.
Logics of Proofs and Justifications
Az igazolási logikák szorosan kapcsolódnak a modális logikákhoz, és úgy tekinthetők, mint az utóbbiak továbbfejlesztése az igazolás manipulálására szolgáló gépezetekkel. Az igazolásokat közvetlenül a nyelvben kifejezésekkel reprezentáljuk, amelyek értelmezhetők mint formális bizonyítások egy deduktív rendszerben, ismeretek bizonyítékai, nyerő stratégia egy játékban stb. Ez a kifejezőbb nyelv mind a bizonyításelméletben, mind az ismeretelméletben hasznosnak bizonyult, és segített olyan problémák vizsgálatában, amelyek az intuitív logika klasszikus bizonyítási szemantikájától kezdve a logikai mindentudás problémájáig terjednek.
Az igazoló logika egy új és gyorsan fejlődő terület, amely váratlan új megközelítéseket és régi problémákba való betekintést kínál. A matematika, a filozófia és az informatika találkozásánál elfoglalt helye miatt széles közönség számára érdekes.
Ez a könyv szigorú bevezetést nyújt az igazolási logikába. Foglalkozik az igazolási logika alapvető konstrukcióival, valamint az episztemikus modellekkel és a bizonyítási szemantikával. Továbbá fejezeteket tartalmaz az igazoló logikák eldönthetőségéről és komplexitásáról, valamint egy fejezetet az önreferencialitásról. Részletes történeti megjegyzéseket is tartalmaz a témával kapcsolatban.