Incomplete Information and Justifications

Dragan Doder,Zoran Ognjanovic,Nenad Savic,Thomas Studer

LANGUAGE, LOGIC, AND COMPUTATION（2022）

引用 0|浏览5

暂无评分

摘要

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.

查看译文

关键词

Justifcation logic, Probabilistic logic, Upper and lower probabilities, Strong completeness

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要