Skoči na glavni sadržaj

Hrvatski matematički elektronički časopis, Vol. 36 No. 1, 2019.

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: 326

citiraj

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

Datum izdavanja:

30.12.2019.

Posjeta: 1.083 *