Topološki vidiki modalnih logikJazbec, Matej (Avtor) Bauer, Andrej (Mentor) modalna logikarelacijska semantikatopološka semantikalogika prvega redasnoptemporalna logikaRelacijska semantika predstavlja že ustaljeni pristop k študiju modalnih logik. Po opredelitvi temeljnih sintaktičnih in semantičnih pojmov si ogledamo nekaj osnovnih korespondenc med lastnostmi relacij in modalnih aksiomov, ki jim ustrezajo. Vpeljemo normalne modalne logike in dokažemo zdravost in polnost za osnovni normalni modalni sistem $\textbf{K}$. Nato pozornost preusmerimo na topološko semantiko modalnega sistema $\textbf{S4}$ in jo s konstrukcijo, ki temelji na snopih, razširimo z logiko prvega reda. Ogledamo si primer sheme, ki jo konkreten primer modela ovrže. Poleg osnovnega modalnega jezika obravnavamo, kjer smiselno, še primere v osnovnem temporalnem jeziku.20262026-03-19 08:15:07Magistrsko delo/naloga180895UDK: 510.6VisID: 159528COBISS_ID: 271817475sl