Probabilistic justification logic

DOI10.1007/978-3-319-27683-0_13zbMATH Open1476.03013OpenAlexW2295092131MaRDI QIDQ5283426FDOQ5283426

Authors: 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/

Recommendations

• Probabilistic justification logic
• First steps towards probabilistic justification logic
• Lotteries and justification
• The complexity of non-iterated probabilistic justification logic
• The logic of uncertain justifications

zbMATH Keywords

decidabilityjustification logicstrong completenesslottery paradoxprobabilistic logic

Mathematics Subject Classification ID

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

Cites Work

• Linear and nonlinear programming.
• Beliefs, Degrees of Belief, and the Lockean Thesis
• Explicit provability and constructive semantics
• The ontology of justifications in the logical setting
• The logic of proofs, semantically
• The logic of justification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some first-order probability logics
• Partial realization in dynamic justification logic
• Title not available (Why is that?)
• Update as evidence: belief expansion
• The logic of uncertain justifications
• Title not available (Why is that?)

Cited In (18)

• Incomplete Information and Justifications
• Probabilistic justification logic
• Admissibility in Probabilistic Argumentation
• First steps towards probabilistic justification logic
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Reasoning about justified belief based on the fusion of evidence
• Soundness and completeness results for LEA and probability semantics
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• Event-based time-stamped claim logic
• The complexity of non-iterated probabilistic justification logic
• Justification Logics with Probability Operators
• Objective Bayesian probabilistic logic
• Probabilistic argumentation
• Lotteries and justification
• Title not available (Why is that?)
• Justification logic with confidence
• A note on strong axiomatization of Gödel justification logic
• Between probability and certainty. What justifies belief

This page was built for publication: Probabilistic justification logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283426)