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

Napredna pretraga

Pregled bibliografske jedinice broj: 1032566

Existentially valid formulas corresponding to some normal modal logics


Mikec, Luka; Perkov, Tin
Existentially valid formulas corresponding to some normal modal logics // AiML 2018 Booklet of Short Papers
Bern, Švicarska, 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
AiML 2018 Booklet of Short Papers / - , 2018, 76-80

Skup
Advances in Modal Logic 2018

Mjesto i datum
Bern, Švicarska, 27-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


Projekt / tema
HRZZ-UIP-05-2017-9219

Ustanove
Prirodoslovno-matematički fakultet, Zagreb,
Učiteljski fakultet, Zagreb

Profili:

Avatar Url Tin Perkov (autor)

Avatar Url Luka Mikec (autor)

Citiraj ovu publikaciju

Mikec, Luka; Perkov, Tin
Existentially valid formulas corresponding to some normal modal logics // AiML 2018 Booklet of Short Papers
Bern, Švicarska, 2018. str. 76-80 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
Mikec, L. & Perkov, T. (2018) Existentially valid formulas corresponding to some normal modal logics. U: AiML 2018 Booklet of Short Papers.
@article{article, year = {2018}, pages = {76-80}, keywords = {modal logic, Kripke semantics, existential validity}, title = {Existentially valid formulas corresponding to some normal modal logics}, keyword = {modal logic, Kripke semantics, existential validity}, publisherplace = {Bern, \v{S}vicarska} }