Tag: logiki modalnej

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-Loeba, zdaniowa 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łnia dodatek z definicjami podstawowych pojęć oraz bibliografia.