A Conflict Tolerant Logic of Explicit Evidence

DOI10.21146/2074-1472-2021-27-1-124-144OpenAlexW3195612192MaRDI QIDQ5059694

Thomas Studer

Publication date: 16 January 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-1-124-144

zbMATH Keywords

epistemic logicquantum physicsjustification logicFrauchiger-Renner paradoxconflicting evidence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Explicit non-normal modal logic

Cites Work

• Modal logics, justification logics, and realization
• The logic of proofs, semantically
• Interacting explicit evidence systems
• Realizing public announcements by justifications
• Justified common knowledge
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• THE LOGIC OF JUSTIFICATION
• Weak arithmetical interpretations for the Logic of Proofs
• A hyperintensional logical framework for deontic reasons
• Dependence and Independence in Social Choice: Arrow’s Theorem
• Decidability for some justification logics with negative introspection
• Justification Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Conflict Tolerant Logic of Explicit Evidence