Podstawy logiki modalnej - Kazimierz Świrydowicz [KSIĄŻKA]

Podręcznik, obok materiału na poziomie dostępnym dla studentów filozofii i matematyki (prezentacja podstawowych systemów logiki modalnej, semantyka relacyjna), zawiera opis systemów mających zastosowania w matematyce i filozofii (logika deontyczna, logika czasu, logika epistemiczna, system Gódla-Lóba, zadaniowa logika dynamiczna), a także materiał na poziomie bardziej zaawansowanym: semantyki algebraiczne, teorię dualności, omówienie kwestii definiowalności modalnej, kanoniczności, uogólnionych semantyk relacyjnych i ich zastosowań. Książkę uzupełniają definicje podstawowych pojęć oraz bibliografia. Kazimierz Świrydowicz - pracownik naukowy Uniwersytetu im. Adama Mickiewicza i Uniwersytetu Artystycznego w Poznaniu, doktor prawa i matematyki, doktor habilitowany filozofii. Specjalność naukowa: algebra uniwersalna, semiotyka, prawnicze zastosowania logiki, logiki nieklasyczne (logika modalna, relewantna i liniowa).