0508245 20240103222520.920190911235959.9 5 s. E cav_un_epca*05082446-10BernUniversität Bern2018 cav_un_auth*0312526 Baldi Paolo Oddělení teoretické informatiky Department of Theoretical Computer Science UIVT-O Department of Theoretical Computer Science AT Ústav informatiky AV ČR, v. v. i. 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://www.aiml2018.unibe.ch/Booklet%20of%20Short%20Papers.pdf cav_un_auth*0349495 GA17-04630S GA ČR This short paper provides a translation of the logic AXM, introduced in [7] for reasoning about probabilities, into the logic FP(Ł4). The latter is a modal fuzzy logic with two syntactical layers: the lower one governed by classical logic and the upper one by Lukasiewicz logic extended with the projection connective 4. We also survey other logics for reasoning about uncertainty in the literature and hint at how they can benefit from a reformulation in terms of two-layered modal fuzzy logics. cav_un_auth*0379489 AiML 2018: Advances in Modal Logic /12./ 20190827 Bern CH 20190831 2020 4 O 4o 20231122144235.0 RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0299210 S 2018 Soubory v repozitáři: 0508245-aw.pdf SCOPUS PUBMED WOS cav_un_epca*0508244 AiML 2018: Accepted Short Papers 6 10 Bern Universität Bern 2018