Math.e, Vol. 36 No. 1, 2019.
Professional paper
Topološka semantika modalne logike
Tin Perkov
; Sveučilište u Zagrebu, Učiteljski fakultet
Bojan Pažek
Abstract
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.
Keywords
matematičke osnove računarstva, modalna logika
Hrčak ID:
240698
URI
Publication date:
30.12.2019.
Visits: 1.038 *