Pregled bibliografske jedinice broj: 1032566
Existentially valid formulas corresponding to some normal modal logics
Existentially valid formulas corresponding to some normal modal logics // Advances in Modal Logic 2018, Booklet of Short Papers
Bern, 2018. str. 76-80 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
CROSBI ID: 1032566 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Existentially valid formulas corresponding to some normal modal logics
Autori
Mikec, Luka ; Perkov, Tin
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, kratko priopćenje, znanstveni
Izvornik
Advances in Modal Logic 2018, Booklet of Short Papers
/ - Bern, 2018, 76-80
Skup
Advances in Modal Logic conference (AiML-2018)
Mjesto i datum
Bern, Švicarska, 27.08.2018. - 31.08.2018
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
modal logic, Kripke semantics, existential validity
Sažetak
Validity of a modal formula on a Kripke frame is defined as global truth under any valuation of propositional variables. Analogously, we can consider so-called existential validity of formulas, i.e. satisfiability under any valuation. We outline relationships between sets of existentially valid formulas corresponding to several well-known modal logics.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
Napomena
Short paper, prezentiran na skup i u zasebnoj knjizi sažetaka kratkih članaka, ne i u zborniku konferencije (proceedings)
POVEZANOST RADA
Projekti:
HRZZ-UIP-2017-05-9219 - Formalno rasuđivanje i semantike (FORMALS) (Perkov, Tin, HRZZ - 2017-05) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb,
Učiteljski fakultet, Zagreb
