Semirings of Evidence
From MaRDI portal
Publication:5098741
DOI10.1007/978-3-030-44638-3_3OpenAlexW3013393003MaRDI QIDQ5098741FDOQ5098741
Authors: Michael Baur, Thomas Studer 
Publication date: 30 August 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-44638-3_3
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
- Explicit provability and constructive semantics
- Title not available (Why is that?)
- Decidability for some justification logics with negative introspection
- The Intensional Lambda Calculus
- The logic of justification
- Justified common knowledge
- Justifications for common knowledge
- Two ways to common knowledge
- Tracking evidence
- Logical Omniscience Via Proof Complexity
- Logical omniscience as infeasibility
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Justification logic. Reasoning with reasons
- On the proof theory of the modal mu-calculus
- Title not available (Why is that?)
- On aggregating probabilistic evidence
- Reconcilable differences
- Logics of proofs and justifications
- Weak arithmetical interpretations for the logic of proofs
- Pavelka-style fuzzy justification logics
- Algebraic Structures for Capturing the Provenance of SPARQL Queries
- The coinductive formulation of common knowledge
- Subset models for justification logic
- Belief expansion in subset models
- A realization theorem for the Gödel-Löb provability logic
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)
