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
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


checked on May 24, 2024

Page view(s)

checked on May 10, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.