Update as Evidence: Belief Expansion

DOI10.1007/978-3-642-35722-0_19zbMath1437.03069OpenAlexW2138642144MaRDI QIDQ3455850

Thomas Studer, Roman Kuznets

Publication date: 11 December 2015

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_19

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (7)

Probabilistic Justification Logic ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ The logic of uncertain justifications ⋮ A logic of knowing why ⋮ Realizing public announcements by justifications ⋮ The Proof Theory of Common Knowledge ⋮ Justification Logics with Probability Operators

Cites Work

• The ontology of justifications in the logical setting
• Reasoning about information change
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
• Partial Realization in Dynamic Justification Logic
• Public communication in justification logic
• THE LOGIC OF JUSTIFICATION
• Tracking Evidence
• On the logic of theory change: Partial meet contraction and revision functions
• Belief Revision From the Point of View of Doxastic Logic

This page was built for publication: Update as Evidence: Belief Expansion