Preskoči na sadržaj
Moj profil Upisi

stručni rad · 2019

Topološka semantika modalne logike

Tin Perkov

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 radu1 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

modalna logika topološka semantika