Recommendations
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 2046116 (Why is no real title available?)
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
- Explicit provability and constructive semantics
- First-order modal logic
- Justification logic and history based computation
- Justification logic, inference tracking, and data privacy
- Justified common knowledge
- Logic of proofs
- Logical Omniscience Via Proof Complexity
- Propositional games with explicit strategies
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- The Logic of Proofs as a Foundation for Certifying Mobile Computation
- The logic of justification
- The logic of justified belief change, soft evidence and defeasible knowledge
- The logic of proofs, semantically
- Update as evidence: belief expansion
- Why do we need justification logic?
Cited in
(21)- The logical burdens of proof. Assertion and hypothesis
- Incomplete Information and Justifications
- scientific article; zbMATH DE number 4189237 (Why is no real title available?)
- The logic of uncertain justifications
- First steps towards probabilistic justification logic
- Possibilistic justification logic: reasoning about justified uncertain beliefs
- Rosenkranz's logic of justification and unprovability
- A note on strong axiomatization of Gödel justification logic
- The ontology of justifications in the logical setting
- Justification logic with approximate conditional probabilities
- A notion of \(C\)-justification for empirical statements
- Reasoning about justified belief based on the fusion of evidence
- Deductive reasoning under uncertainty: a water tank analogy
- A new notion of meaning connection and the logic of simple processes
- scientific article; zbMATH DE number 2079260 (Why is no real title available?)
- A formal theory of justifications
- Justification Logics with Probability Operators
- Simple evidence elimination in justification logic
- Probabilistic justification logic
- Logic of confidence
- Impossible and conflicting obligations in justification logic
This page was built for publication: The logic of uncertain justifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392291)