Semirings of Evidence
From MaRDI portal
Publication:5098741
Recommendations
- Semirings of Evidence
- A semantic framework for proof evidence
- A semantics of evidence for classical arithmetic
- scientific article; zbMATH DE number 5117159
- Evidence logics with relational evidence
- A logic for reasoning about evidence
- A quantified logic of evidence
- Inferential semantics, paraconsistency, and preservation of evidence
- A Sketch of a Dynamic Epistemic Semiring
Cites work
- scientific article; zbMATH DE number 2006628 (Why is no real title available?)
- scientific article; zbMATH DE number 7297836 (Why is no real title available?)
- A realization theorem for the Gödel-Löb provability logic
- Algebraic Structures for Capturing the Provenance of SPARQL Queries
- Belief expansion in subset models
- Decidability for some justification logics with negative introspection
- Explicit provability and constructive semantics
- Justification logic. Reasoning with reasons
- Justifications for common knowledge
- Justified common knowledge
- Logical Omniscience Via Proof Complexity
- Logical omniscience as infeasibility
- Logics of proofs and justifications
- On aggregating probabilistic evidence
- On the proof theory of the modal mu-calculus
- Pavelka-style fuzzy justification logics
- Reconcilable differences
- Subset models for justification logic
- The Intensional Lambda Calculus
- The coinductive formulation of common knowledge
- The logic of justification
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Tracking evidence
- Two ways to common knowledge
- Weak arithmetical interpretations for the logic of proofs
This page was built for publication: Semirings of Evidence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5098741)
