0480189 20240103214800.220171023235959.9 Towards completeness of some lattice-valued modal logics 4 s. cav_un_epca*0480184ISRALOG'17 Abstract Booklet104-107HaifaFaculty of Social Sciences2017 cav_un_auth*0341114 Lávička Tomáš Matematická teorie rozhodování Department of Decision Making Theory MTR MTR UTIA-B Department of Decision Making Theory CZ Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0306220 Přenosil Adam 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*0352067 ISRALOG 2017. Israeli Workshop on Non-Classical Logics and Their Applications /3./ 15.10.2017-17.10.2017 Haifa IL BA 2018 4 O 4o 20231122142738.4 RVO:67985556 RVO:67985807 http://hdl.handle.net/11104/0276067 S 2017 Soubory v repozitáři: a0480189.pdf SCOPUS PUBMED WOS cav_un_epca*0480184 ISRALOG'17 Abstract Booklet 104 107 Haifa Faculty of Social Sciences 2017