A logic of knowing why

DOI10.1007/s11229-019-02104-0zbMath1506.03068arXiv1609.06405OpenAlexW2964125215MaRDI QIDQ2693121

Thomas Studer, Yanjing Wang, Chao Xu

Publication date: 17 March 2023

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.06405

zbMATH Keywords

epistemic logicaxiomatizationjustification logicscientific explanationknowing whywhy-questions

Mathematics Subject Classification ID

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

Related Items

Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic, BISIMULATIONS FOR KNOWING HOW LOGICS, Inquisitive logic as an epistemic logic of knowing how, Conditional obligations in justification logic, Tableaux for the Logic of Strategically Knowing How, Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract), Modal and justification logics for multi-agent systems (invited talk), Neighborhood semantics for logic of knowing how, Providing personalized explanations: a conversational approach, Planning-based knowing how: a unified approach

Cites Work

• Modal logics, justification logics, and realization
• Multi-agent justification logic: communication and evidence elimination
• Dealing with logical omniscience: expressiveness and pragmatics
• The logic of proofs, semantically
• Scientific explanation: A critical survey
• A logic of goal-directed knowing how
• Abstract argumentation and explanation applied to scientific debates
• Realizing public announcements by justifications
• Logics of public communications
• A quantified logic of evidence
• Justified common knowledge
• Explanations in science and the logic of why-questions: discussion of the Halonen-Hintikka-approach and alternative proposal
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• Beyond Knowing That: A New Generation of Epistemic Logics
• Introducing Justification into Epistemic Logic
• Multi-agent Explicit Knowledge
• Update as Evidence: Belief Expansion
• A Logic of Knowing How
• THE LOGIC OF JUSTIFICATION
• CONTINGENCY AND KNOWING WHETHER
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item