| Authors: | Savić, Nenad Doder, Dragan Ognjanović, Zoran |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | A logic with upper and lower probability operators | Journal: | ISIPTA 2015 - Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications | First page: | 267 | Last page: | 276 | Conference: | 9th International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2015; Pescara; Italy; 20 July 2015 through 24 July 2015 | Issue Date: | 1-Jan-2015 | Rank: | M33 | Abstract: | We present a propositional logic with unary operators that speak about upper and lower probabilities. We describe the corresponding class of models and discuss decidability issues. We provide an infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete. For some restrictions of the logic we provide finitary axiomatic systems. |
Keywords: | Axiomatization | Completeness theorem | Probabilistic logic | Upper and lower probabilities | Project: | Representations of logical structures and formal languages and their application in computing Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education National Research Fund (FNR) of Luxembourg, project PRIMAT |
Show full item record
SCOPUSTM
Citations
3
checked on May 19, 2024
Page view(s)
58
checked on May 10, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.