0508274 20240103222523.020190911235959.9 4 s. cav_un_epca*050826031-34BernUniversity of Bern2018 cav_un_auth*0100737 Cintula Petr Oddělení teoretické informatiky Department of Theoretical Computer Science UIVT-O Department of Theoretical Computer Science Ústav informatiky AV ČR, v. v. i. cav_un_auth*0362702 Menchón P. AR cav_un_auth*0293476 Noguera Carles Matematická teorie rozhodování Department of Decision Making Theory MTR MTR UTIA-B Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0349495 GA17-04630S GA ČR In modal extensions of classical logic, Kripke frames and Scott–Montague neighborhood frames (see e.g. [21, 26]) provide two, widely used, different kinds of frame semantics; the former is intended for normal modal logics (i.e. extensions of K), while the latter works as well for non-normal modal logics extending the weaker system E. However, not all logics extending these basic logics are complete with respect to a class of corresponding frames. cav_un_auth*0379564 LATD 2018: Logic, Algebra and Truth Degrees /6./ 20190828 Bern CH 20190831 2020 4 X 4x 20231122144236.3 RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0299230 S 2018 Soubory v repozitáři: LATD2018.pdf SCOPUS PUBMED WOS cav_un_epca*0508260 LATD 2018. Proceedings 31 34 Bern University of Bern 2018