Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F14%3A00431413" target="_blank" >RIV/67985807:_____/14:00431413 - isvavai.cz</a>
Alternative codes found
RIV/67985556:_____/14:00431413
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-662-44145-9_9" target="_blank" >http://dx.doi.org/10.1007/978-3-662-44145-9_9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-662-44145-9_9" target="_blank" >10.1007/978-3-662-44145-9_9</a>
Alternative languages
Result language
angličtina
Original language name
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
Original language description
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 touse 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-lay
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Mathematical Fuzzy Logic in Computer Science</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Logic, Language, Information, and Computation
ISBN
978-3-662-44144-2
ISSN
0302-9743
e-ISSN
—
Number of pages
13
Pages from-to
124-136
Publisher name
Springer
Place of publication
Heidelberg
Event location
Valparaíso
Event date
Sep 1, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—