Savic, Nenad; Doder, Dragan; Ognjanović, Zoran (2017). Logics with lower and upper probability operators. International journal of approximate reasoning, 88, pp. 148-168. Elsevier 10.1016/j.ijar.2017.05.013
|
Text
sdob17.pdf - Accepted Version Available under License Creative Commons: Attribution-Noncommercial-No Derivative Works (CC-BY-NC-ND). Download (417kB) | Preview |
We present a first-order and a propositional logic with unary operators that speak about upper and lower probabilities. We describe the corresponding class of models, and we discuss decidability issues for the propositional logic. We provide infinitary axiomatizations for both logics and we prove that the axiomatizations are sound and strongly complete. For some restrictions of the logics we provide finitary axiomatic systems.
Item Type: |
Journal Article (Original Article) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
Savic, Nenad |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
0888-613X |
Publisher: |
Elsevier |
Language: |
English |
Submitter: |
Lukas Jaun |
Date Deposited: |
06 Nov 2017 15:25 |
Last Modified: |
05 Dec 2022 15:07 |
Publisher DOI: |
10.1016/j.ijar.2017.05.013 |
BORIS DOI: |
10.7892/boris.104870 |
URI: |
https://boris.unibe.ch/id/eprint/104870 |
Actions (login required)
 |
Edit item |