Logics with lower and upper probability operators

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

[img] Text
sdob17.pdf - Accepted Version
Restricted to registered users only until 1 October 2019.
Available under License Creative Commons: Attribution-Noncommercial-No Derivative Works (CC-BY-NC-ND).

Download (417kB) | Request a copy

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:

06 Nov 2017 15:25

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 Edit item
Provide Feedback