A Completeness Theorem for Two-Layer Modal Logics

0422080 20240103203543.720140102235959.9 A Completeness Theorem for Two-Layer Modal Logics C cav_un_epca*0422076Proceedings of the International Workshop on Algebraic Logic in Computer Science1-4StellenboschUniversity of Stellenbosch2013 mathematical fuzzy logic modal logic probability 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*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. http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Noguera-Cintula.pdf GAP202/10/1826 GA ČR cav_un_auth*0260903 cav_un_auth*0298512 International Workshop on Algebraic Logic in Computer Science Stellenbosch 14.12.2013 ZA 2014 BA 4 O 4o 20231122140012.5 RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0228294 1 2013 Soubory v repozitáři: 0422080.pdf cav_un_epca*0422076 Proceedings of the International Workshop on Algebraic Logic in Computer Science 1 4 Stellenbosch University of Stellenbosch 2013