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 (10)

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

This page was built for publication: A logic of knowing why