| bibtype |
C -
Conference Paper (international conference)
|
| ARLID |
0431413 |
| utime |
20240103204604.8 |
| mtime |
20140910235959.9 |
| SCOPUS |
84906861469 |
| DOI |
10.1007/978-3-662-44145-9_9 |
| title
(primary) (eng) |
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem |
| specification |
| page_count |
13 s. |
| media_type |
P |
|
| serial |
| ARLID |
cav_un_epca*0431412 |
| ISBN |
978-3-662-44144-2 |
| ISSN |
0302-9743 |
| title
|
Logic, Language, Information, and Computation |
| page_num |
124-136 |
| publisher |
| place |
Heidelberg |
| name |
Springer |
| year |
2014 |
|
| editor |
| name1 |
Kohlenbach |
| name2 |
U. |
|
| editor |
|
| editor |
| name1 |
de Queiroz |
| name2 |
R. |
|
|
| keyword |
two-level modal logic |
| keyword |
logics of uncertainty |
| keyword |
theory of probability |
| keyword |
weakly implicative logics |
| keyword |
Kripke frames |
| author
(primary) |
| ARLID |
cav_un_auth*0100737 |
| name1 |
Cintula |
| name2 |
Petr |
| full_dept (cz) |
Oddělení teoretické informatiky |
| full_dept (eng) |
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. |
|
| cas_special |
| project |
| project_id |
GAP202/10/1826 |
| agency |
GA ČR |
| ARLID |
cav_un_auth*0260903 |
|
| project |
| project_id |
247584 |
| country |
XE |
| agency |
EC |
| ARLID |
cav_un_auth*0323440 |
|
| abstract
(eng) |
Modal logics with two syntactical layers (both governed by classical logic) have been proposed as logics of uncertainty following Hamblin's seminal idea of reading the modal operator P(A) as 'probably A', meaning that the probability of a formula A is bigger than a given threshold. An interesting departure from that (classical) paradigm has been introduced by Hajek with his fuzzy probability logic when, while still keeping classical logic as interpretation of the lower syntactical layer, he proposed to use Lukasiewicz logic in the upper one, so that the truth degree of P(A) could be directly identified with the probability of A. Later, other authors have used the same formalism with different kinds of uncertainty measures and other pairs of logics, allowing for a treatment of uncertainty of vague events (i.e. also changing the logic in the lower layer). The aim of this paper is to provide a general framework for two-layer modal logics that encompasses all the previously studied two-layer modal fuzzy logics, provides a general axiomatization and a semantics of measured Kripke frames, and prove a general completeness theorem. |
| action |
| ARLID |
cav_un_auth*0305903 |
| name |
WoLLIC 2014. International Conference /21./ |
| place |
Valparaíso |
| dates |
01.09.2014-04.09.2014 |
| country |
CL |
|
| reportyear |
2015 |
| RIV |
BA |
| mrcbC52 |
4 O R 4o 4r 20231122140416.0 |
| mrcbC55 |
UTIA-B BB |
| inst_support |
RVO:67985807 |
| inst_support |
RVO:67985556 |
| permalink |
http://hdl.handle.net/11104/0235975 |
| confidential |
S |
| mrcbT16-q |
100 |
| mrcbT16-s |
0.323 |
| mrcbT16-y |
17.13 |
| mrcbT16-x |
0.52 |
| mrcbT16-4 |
Q2 |
| mrcbT16-E |
Q3 |
| arlyear |
2014 |
| mrcbTft |
\nSoubory v repozitáři: 0431413.pdf, a0431413.pdf |
| mrcbU14 |
84906861469 SCOPUS |
| mrcbU63 |
cav_un_epca*0431412 Logic, Language, Information, and Computation 978-3-662-44144-2 0302-9743 124 136 Heidelberg Springer 2014 Lecture Notes in Computer Science 8652 |
| mrcbU67 |
Kohlenbach U. 340 |
| mrcbU67 |
Barceló P. 340 |
| mrcbU67 |
de Queiroz R. 340 |
|