Topološka semantika modalne logike (CROSBI ID 280782)
Prilog u časopisu | stručni rad | domaća recenzija
Podaci o odgovornosti
Pažek, Bojan ; Perkov, Tin
hrvatski
Topološka semantika modalne logike
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.
modalna logika ; topološka semantika
nije evidentirano
engleski
Topological semantics of modal logic
nije evidentirano
modal logic ; topological semantics
nije evidentirano