Semirings of Evidence

DOI10.1007/978-3-030-44638-3_3OpenAlexW3013393003MaRDI QIDQ5098741

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

zbMATH Keywords

completenesssemiringjustification logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logical omniscience as infeasibility
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Reconcilable differences
• On the proof theory of the modal mu-calculus
• The coinductive formulation of common knowledge
• Belief expansion in subset models
• Subset models for justification logic
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• A realization theorem for the Gödel-Löb provability logic
• Algebraic Structures for Capturing the Provenance of SPARQL Queries
• Two Ways to Common Knowledge
• THE LOGIC OF JUSTIFICATION
• Tracking Evidence
• Logical Omniscience Via Proof Complexity
• Weak arithmetical interpretations for the Logic of Proofs
• Pavelka-style fuzzy justification logics
• On Aggregating Probabilistic Evidence
• Decidability for some justification logics with negative introspection
• Justification Logic
• The Intensional Lambda Calculus

This page was built for publication: Semirings of Evidence