| bibtype |
A -
Abstract
|
| ARLID |
0507687 |
| utime |
20240103222428.7 |
| mtime |
20190820235959.9 |
| title
(primary) (eng) |
On classical and fuzzy two-layered modal logics for uncertainty: translations and proof-theory |
| specification |
| page_count |
1 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0507685 |
| ISBN |
978-80-88214-19-9 |
| title
|
Logic Colloquium 2019. Book of abstracts |
| page_num |
139-139 |
| publisher |
| place |
Praha |
| name |
AMCA |
| year |
2019 |
|
| editor |
| name1 |
Chodounský |
| name2 |
D. |
|
| editor |
| name1 |
Stejskalová |
| name2 |
J. |
|
| editor |
|
|
| author
(primary) |
| ARLID |
cav_un_auth*0378830 |
| name1 |
Baldi |
| name2 |
P. |
| country |
IT |
|
| author
|
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept |
Department of Theoretical Computer Science |
| institution |
UIVT-O |
| full_dept |
Department of Theoretical Computer Science |
| fullinstit |
Ústav informatiky AV ČR, v. v. i. |
|
| author
|
| ARLID |
cav_un_auth*0293476 |
| name1 |
Noguera |
| name2 |
Carles |
| full_dept (cz) |
Matematická teorie rozhodování |
| full_dept |
Department of Decision Making Theory |
| department (cz) |
MTR |
| department |
MTR |
| institution |
UTIA-B |
| full_dept |
Department of Decision Making Theory |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| source |
|
| cas_special |
| abstract
(eng) |
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. |
| action |
| ARLID |
cav_un_auth*0378829 |
| name |
Logic Colloquium 2019 |
| dates |
20190811 |
| place |
Praha |
| country |
CZ |
| mrcbC20-s |
20190816 |
|
| reportyear |
2020 |
| mrcbC52 |
4 O 4o 20231122144205.3 |
| inst_support |
RVO:67985807 |
| permalink |
http://hdl.handle.net/11104/0298671 |
| confidential |
S |
| arlyear |
2019 |
| mrcbTft |
\nSoubory v repozitáři: 0507687-aw.pdf |
| mrcbU14 |
SCOPUS |
| mrcbU24 |
PUBMED |
| mrcbU34 |
WOS |
| mrcbU63 |
cav_un_epca*0507685 Logic Colloquium 2019. Book of abstracts AMCA 2019 Praha 139 139 978-80-88214-19-9 |
| mrcbU67 |
340 Chodounský D. |
| mrcbU67 |
340 Stejskalová J. |
| mrcbU67 |
340 Verner J. |
|