Incomplete Information and Justifications

Dragan Doder; Zoran Ognjanovic; Nenad Savic; Thomas Studer

doi:10.1007/978-3-030-98479-3_13

Incomplete Information and Justifications

Dragan Doder, Zoran Ognjanovic, Nenad Savic^*, Thomas Studer

^*Corresponding author for this work

University of Bern

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

We present a logic for reasoning about higher-order upper
and lower probabilities of justification formulas. We provide sound and
strongly complete axiomatization for the logic. Furthermore, we show
that the introduced logic generalizes the existing probabilistic justification logic PPJ.

Original language	English
Title of host publication	Language, Logic, and Computation
Subtitle of host publication	13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers
Editors	Aybuke Ozgun, Yulia Zinova
Publisher	Springer
Pages	258-278
Number of pages	21
ISBN (Electronic)	978-3-030-98479-3
ISBN (Print)	978-3-030-98478-6
DOIs	https://doi.org/10.1007/978-3-030-98479-3_13
Publication status	Published - 31 Mar 2022

Keywords

Justifcation logic
Probabilistic logic
Upper and lower probabilities
Strong completeness

Access to Document

10.1007/978-3-030-98479-3_13

Incomplete Information and JustificationsFinal published version, 324 KBLicence: Taverne

Cite this

@inproceedings{c9c35857d2c742eaa5b9ed320995765f,

title = "Incomplete Information and Justifications",

abstract = "We present a logic for reasoning about higher-order upperand lower probabilities of justification formulas. We provide sound andstrongly complete axiomatization for the logic. Furthermore, we showthat the introduced logic generalizes the existing probabilistic justification logic PPJ.",

keywords = "Justifcation logic, Probabilistic logic, Upper and lower probabilities, Strong completeness",

author = "Dragan Doder and Zoran Ognjanovic and Nenad Savic and Thomas Studer",

year = "2022",

month = mar,

day = "31",

doi = "10.1007/978-3-030-98479-3_13",

language = "English",

isbn = "978-3-030-98478-6",

pages = "258--278",

editor = "Aybuke Ozgun and Yulia Zinova",

booktitle = "Language, Logic, and Computation",

publisher = "Springer",

}

Incomplete Information and Justifications. / Doder, Dragan; Ognjanovic, Zoran; Savic, Nenad et al.
Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers. ed. / Aybuke Ozgun; Yulia Zinova. Springer, 2022. p. 258-278.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Incomplete Information and Justifications

AU - Doder, Dragan

AU - Ognjanovic, Zoran

AU - Savic, Nenad

AU - Studer, Thomas

PY - 2022/3/31

Y1 - 2022/3/31

N2 - We present a logic for reasoning about higher-order upperand lower probabilities of justification formulas. We provide sound andstrongly complete axiomatization for the logic. Furthermore, we showthat the introduced logic generalizes the existing probabilistic justification logic PPJ.

AB - We present a logic for reasoning about higher-order upperand lower probabilities of justification formulas. We provide sound andstrongly complete axiomatization for the logic. Furthermore, we showthat the introduced logic generalizes the existing probabilistic justification logic PPJ.

KW - Justifcation logic

KW - Probabilistic logic

KW - Upper and lower probabilities

KW - Strong completeness

U2 - 10.1007/978-3-030-98479-3_13

DO - 10.1007/978-3-030-98479-3_13

M3 - Conference contribution

SN - 978-3-030-98478-6

SP - 258

EP - 278

BT - Language, Logic, and Computation

A2 - Ozgun, Aybuke

A2 - Zinova, Yulia

PB - Springer

ER -

Incomplete Information and Justifications

Abstract

Keywords

Access to Document

Fingerprint

Cite this