0507687 20240103222428.720190820235959.9 1 s. P cav_un_epca*0507685978-80-88214-19-9139-139PrahaAMCA2019ChodounskýD.StejskalováJ.VernerJ. cav_un_auth*0378830 Baldi P. IT 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. https://lc2019.cz/static/abstracts/LC2019-Book_of_abstracts.pdf?80229d306947a24f4d93 Formal systems for modeling uncertainty are often presented as modal logics with a two-layered syntax, which does not allow for arbitrary nesting of modality. The lower layer is typically used for representing events, and the upper one for reasoning about the measure of uncertainty at hand (probabilities, belief function etc.). We are interested in two families of such logics: those employing classical logic on both layers, and those employing a suitable fuzzy logic in the upper layer. In [1] we have provided translations between logics of these two families: in particular, we have shown how a proof system for Łukasiewicz logic, based on hypersequents [4] can be used to provide an explicit faithful translation of a classical two-layered logic for probability, introduced in [2] into a corresponding fuzzy one, introduced in [3]. We will present this result and its implications for a systematic investigation of two-layered modal logics from a proof-theoretic perspective, which is still lacking in the literature. cav_un_auth*0378829 Logic Colloquium 2019 20190811 Praha CZ 20190816 2020 4 O 4o 20231122144205.3 RVO:67985807 http://hdl.handle.net/11104/0298671 S 2019 Soubory v repozitáři: 0507687-aw.pdf SCOPUS PUBMED WOS cav_un_epca*0507685 Logic Colloquium 2019. Book of abstracts AMCA 2019 Praha 139 139 978-80-88214-19-9 340 Chodounský D. 340 Stejskalová J. 340 Verner J.