First steps towards probabilistic justification logic

DOI10.1093/JIGPAL/JZV025MaRDI QIDQ4644527zbMATH OpenOpenAlexFDO

Authors Ioannis Kokkinis, Petar Maksimović, Thomas Studer, Zoran Ognjanović

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://boris.unibe.ch/70718/1/version12.pdf

zbMATH Keywords

completenessjustification logicprobabilistic justiciationsprobability logicsoundnessuncertain justifications

Mathematics Subject Classification ID

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

Recommendations

• Probabilistic justification logic
• Probabilistic justification logic
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• The logic of uncertain justifications
• The logic of uncertain justifications

Cited in

(17)

• Justification logic with approximate conditional probabilities
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• Explicit non-normal modal logic
• A logic of interactive proofs
• Justification logic with confidence
• Bayesian confirmation and justifications
• The complexity of non-iterated probabilistic justification logic
• The logic of uncertain justifications
• Logics with Probability Operators
• Justification Logics with Probability Operators
• Probabilistic justification logic
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Probabilistic justification logic
• Probability logics for reasoning about quantum observations
• Conditional obligations in justification logic
• Incomplete Information and Justifications
• Explicit non-normal modal logic

This page was built for publication: First steps towards probabilistic justification logic

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