Probabilistic Justification Logic

DOI10.1007/978-3-319-27683-0_13zbMath1476.03013OpenAlexW2295092131MaRDI QIDQ5283426

Ioannis Kokkinis, Thomas Studer, Zoran Ognjanović

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/146066/

zbMATH Keywords

decidabilityjustification logicstrong completenesslottery paradoxprobabilistic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)

Related Items

Possibilistic Justification Logic ⋮ Soundness and completeness results for LEA and probability semantics ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Justification logic with confidence ⋮ The complexity of satisfiability in non-iterated and iterated probabilistic logics ⋮ Event-based time-stamped claim logic ⋮ Reasoning About Justified Belief Based on the Fusion of Evidence

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of uncertain justifications
• The ontology of justifications in the logical setting
• The logic of proofs, semantically
• Linear and nonlinear programming.
• Some first-order probability logics
• Explicit Provability and Constructive Semantics
• Partial Realization in Dynamic Justification Logic
• Update as Evidence: Belief Expansion
• THE LOGIC OF JUSTIFICATION
• Beliefs, Degrees of Belief, and the Lockean Thesis