Stručni rad
Topološka semantika modalne logike
Tin Perkov
; Sveučilište u Zagrebu, Učiteljski fakultet
Bojan Pažek
Sažetak
Modalna logika prvenstveno je formalizacija relacijskih struktura, što se može reći i za logiku prvog reda, ali nasuprot njoj ima jednostavniju sintaksu koja omogućuje odlučivost, te specifični lokalni pogled iznutra na relacijske strukture. U ovom radu predstavit ćemo alternativnu, topološku
semantiku modalne logike. Formule modalnog jezika interpretirat ćemo kao topološke objekte, razmotriti adekvatnost i potpunost modalne logike u odnosu na odgovarajuće topološke prostore, kao i njenu izražajnu snagu,
odnosno razmotriti koja svojstva topoloških prostora možemo
definirati modalnim formulama.
Ključne riječi
matematičke osnove računarstva, modalna logika
Hrčak ID:
240698
URI
Datum izdavanja:
30.12.2019.
Posjeta: 1.068 *