Incomplete Information and Justifications

DOI10.1007/978-3-030-98479-3_13zbMATH Open1530.03097MaRDI QIDQ6487231FDOQ6487231

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

Publication date: 11 August 2022

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

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cites Work

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

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)