Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 1070805

Topološka semantika modalne logike

Pažek, Bojan; Perkov, Tin
Topološka semantika modalne logike // Math.e : hrvatski matematički elektronski časopis, 36 (2019), 41-51 (domaća recenzija, članak, stručni)

CROSBI ID: 1070805 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Topološka semantika modalne logike
(Topological semantics of modal logic)

Autori
Pažek, Bojan ; Perkov, Tin

Izvornik
Math.e : hrvatski matematički elektronski časopis (1334-6083) 36 (2019); 41-51

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, stručni

Ključne riječi
modalna logika ; topološka semantika
(modal logic ; topological semantics)

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.

Izvorni jezik
Hrvatski

Znanstvena područja
Matematika



POVEZANOST RADA

Ustanove:
Učiteljski fakultet, Zagreb,
Sveučilište u Zagrebu

Profili:

Avatar Url Tin Perkov (autor)

Avatar Url Bojan Pažek (autor)

Poveznice na cjeloviti tekst rada:

e.math.hr hrcak.srce.hr

Citiraj ovu publikaciju:

Pažek, Bojan; Perkov, Tin
Topološka semantika modalne logike // Math.e : hrvatski matematički elektronski časopis, 36 (2019), 41-51 (domaća recenzija, članak, stručni)
Pažek, B. & Perkov, T. (2019) Topološka semantika modalne logike. Math.e : hrvatski matematički elektronski časopis, 36, 41-51.
@article{article, author = {Pa\v{z}ek, Bojan and Perkov, Tin}, year = {2019}, pages = {41-51}, keywords = {modalna logika, topolo\v{s}ka semantika}, journal = {Math.e : hrvatski matemati\v{c}ki elektronski \v{c}asopis}, volume = {36}, issn = {1334-6083}, title = {Topolo\v{s}ka semantika modalne logike}, keyword = {modalna logika, topolo\v{s}ka semantika} }
@article{article, author = {Pa\v{z}ek, Bojan and Perkov, Tin}, year = {2019}, pages = {41-51}, keywords = {modal logic, topological semantics}, journal = {Math.e : hrvatski matemati\v{c}ki elektronski \v{c}asopis}, volume = {36}, issn = {1334-6083}, title = {Topological semantics of modal logic}, keyword = {modal logic, topological semantics} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.