Funder
Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung
NSSF
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference50 articles.
1. Artemov, S. (1995). Operational modal logic. Technical report MSI 9529, Cornell University.
2. Artemov, S. (2001). Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7(1), 1–36.
3. Artemov, S. (2006). Justified common knowledge. Theoretical Computer Science, 357(1), 4–22.
4. Artemov, S. (2008). The logic of justification. The Review of Symbolic Logic, 1(04), 477–513.
5. Artemov, S., & Nogina, E. (2005). Introducing justification into epistemic logic. Journal of Logic and Computation, 15(6), 1059–1073.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Matching Theories with Evidence: A Logic for Demanding Knowing Why;Erkenntnis;2024-04-30
2. A Logical Framework for Understanding Why;Selected Reflections in Language, Logic, and Information;2023-12-28
3. Uncertainty-based knowing how logic;Journal of Logic and Computation;2023-10-09
4. Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract);Electronic Proceedings in Theoretical Computer Science;2023-07-11
5. Tableaux for the Logic of Strategically Knowing How;Electronic Proceedings in Theoretical Computer Science;2023-07-11