Incomplete Information and Justifications

DOI10.1007/978-3-030-98479-3_13zbMath1530.03097MaRDI QIDQ6487231

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

Publication date: 11 August 2022

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cites Work

• Unnamed Item
• Unnamed Item
• The logic of uncertain justifications
• The logic of proofs, semantically
• Justification logic with approximate conditional probabilities
• Multi-agent logics for reasoning about higher-order upper and lower probabilities
• Logics with lower and upper probability operators
• A propositional linear time logic with time flow isomorphic to \(\omega^2\)
• Explicit Provability and Constructive Semantics
• Probability Logics
• A logic with conditional probability operators
• Infinitely subadditive capacities as upper envelopes of measures
• First steps towards probabilistic justification logic
• Weak arithmetical interpretations for the Logic of Proofs
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• On Aggregating Probabilistic Evidence
• Probabilistic Justification Logic
• Justification Logic

This page was built for publication: Incomplete Information and Justifications