hrcak mascot   Srce   HID

Stručni rad

Topološka semantika modalne logike

Tin Perkov ; Sveučilište u Zagrebu, Učiteljski fakultet
Bojan Pažek

Puni tekst: hrvatski, pdf (689 KB) str. 41-51 preuzimanja: 12* citiraj
APA 6th Edition
Perkov, T. i Pažek, B. (2019). Topološka semantika modalne logike. Math.e, 36 (1), 41-51. Preuzeto s https://hrcak.srce.hr/240698
MLA 8th Edition
Perkov, Tin i Bojan Pažek. "Topološka semantika modalne logike." Math.e, vol. 36, br. 1, 2019, str. 41-51. https://hrcak.srce.hr/240698. Citirano 25.10.2020.
Chicago 17th Edition
Perkov, Tin i Bojan Pažek. "Topološka semantika modalne logike." Math.e 36, br. 1 (2019): 41-51. https://hrcak.srce.hr/240698
Harvard
Perkov, T., i Pažek, B. (2019). 'Topološka semantika modalne logike', Math.e, 36(1), str. 41-51. Preuzeto s: https://hrcak.srce.hr/240698 (Datum pristupa: 25.10.2020.)
Vancouver
Perkov T, Pažek B. Topološka semantika modalne logike. Math.e [Internet]. 2019 [pristupljeno 25.10.2020.];36(1):41-51. Dostupno na: https://hrcak.srce.hr/240698
IEEE
T. Perkov i B. Pažek, "Topološka semantika modalne logike", Math.e, vol.36, br. 1, str. 41-51, 2019. [Online]. Dostupno na: https://hrcak.srce.hr/240698. [Citirano: 25.10.2020.]

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
https://hrcak.srce.hr/240698

Posjeta: 40 *