Incomplete Information and Justifications

DOI10.1007/978-3-030-98479-3_13MaRDI QIDQ6487231zbMATH OpenFDO

Authors Dragan Doder, Zoran Ognjanović, Nenad Savić, Thomas Studer

Publication date 11 August 2022

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• Justification Logics with Probability Operators
• Probabilistic justification logic
• A first-order logic for reasoning about higher-order upper and lower probabilities
• Probabilistic justification logic
• First steps towards probabilistic justification logic

Cites work

• scientific article; zbMATH DE number 1946849 (Why is no real title available?)
• A logic with conditional probability operators
• A propositional linear time logic with time flow isomorphic to ^2
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• Explicit provability and constructive semantics
• First steps towards probabilistic justification logic
• Infinitely subadditive capacities as upper envelopes of measures
• Justification logic with approximate conditional probabilities
• Justification logic. Reasoning with reasons
• Logics of proofs and justifications
• Logics with lower and upper probability operators
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• On aggregating probabilistic evidence
• Probabilistic justification logic
• Probability logics. Probability-based formalization of uncertain reasoning
• The logic of proofs, semantically
• The logic of uncertain justifications
• Weak arithmetical interpretations for the logic of proofs

Cited in

(1)

• Information and Inaccuracy

This page was built for publication: Incomplete Information and Justifications

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