Probabilistic justification logic

DOI10.1007/978-3-319-27683-0_13MaRDI QIDQ5283426zbMATH OpenOpenAlexFDO

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/

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)

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

Cites work

• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1873277 (Why is no real title available?)
• scientific article; zbMATH DE number 6302917 (Why is no real title available?)
• Beliefs, Degrees of Belief, and the Lockean Thesis
• Explicit provability and constructive semantics
• Linear and nonlinear programming.
• Partial realization in dynamic justification logic
• Some first-order probability logics
• The logic of justification
• The logic of proofs, semantically
• The logic of uncertain justifications
• The ontology of justifications in the logical setting
• Update as evidence: belief expansion

Cited in

(19)

• 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 legal decision standards still fail
• Probabilistic argumentation
• Lotteries and justification
• scientific article; zbMATH DE number 5901889 (Why is no real title available?)
• 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)