A logic of knowing why (Q2693121): Difference between revisions

@@ Property / arXiv ID @@
+.06405
@@ Property / arXiv ID: 1609.06405 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Justified common knowledge
@@ Property / cites work: Justified common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Justifications for common knowledge
@@ Property / cites work: Justifications for common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Realizing public announcements by justifications
@@ Property / cites work: Realizing public announcements by justifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+CONTINGENCY AND KNOWING WHETHER
@@ Property / cites work: CONTINGENCY AND KNOWING WHETHER / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+A quantified logic of evidence
@@ Property / cites work: A quantified logic of evidence / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics, justification logics, and realization
+Normal rank
@@ Property / cites work @@
+Dealing with logical omniscience: expressiveness and pragmatics
+Normal rank
@@ Property / cites work @@
+Q5419893
@@ Property / cites work: Q5419893 / rank @@
+Normal rank
@@ Property / cites work @@
+Update as Evidence: Belief Expansion
@@ Property / cites work: Update as Evidence: Belief Expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5232011
@@ Property / cites work: Q5232011 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5090984
@@ Property / cites work: Q5090984 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent justification logic: communication and evidence elimination
+Normal rank
@@ Property / cites work @@
+Scientific explanation: A critical survey
@@ Property / cites work: Scientific explanation: A critical survey / rank @@
+Normal rank
@@ Property / cites work @@
+Explanations in science and the logic of why-questions: discussion of the Halonen-Hintikka-approach and alternative proposal
+Normal rank
@@ Property / cites work @@
+Abstract argumentation and explanation applied to scientific debates
+Normal rank
@@ Property / cites work @@
+Q4295869
@@ Property / cites work: Q4295869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4578043
@@ Property / cites work: Q4578043 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Knowing How
@@ Property / cites work: A Logic of Knowing How / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384090
@@ Property / cites work: Q3384090 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Knowing That: A New Generation of Epistemic Logics
+Normal rank
@@ Property / cites work @@
+A logic of goal-directed knowing how
@@ Property / cites work: A logic of goal-directed knowing how / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636315
@@ Property / cites work: Q4636315 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent Explicit Knowledge
@@ Property / cites work: Multi-agent Explicit Knowledge / rank @@
+Normal rank