Why Do We Need Justification Logic?-Reference-Cited by-同舟云学术

Why Do We Need Justification Logic?

Published:2011 Issue: Volume: Page:23-38
ISSN:
Container-title:Games, Norms and Reasons
language:
Short-container-title:

Author:

Artemov* Sergei

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-007-0714-6_2

Reference56 articles.

1. E. Antonakos. Justified and common knowledge: Limited conservativity. In S. Artemov and A. Nerode, editors, Logical Foundations of Computer Science. International Symposium, LFCS 2007, New York, NY, USA, June 2007, Proceedings, volume 4514 of Lecture Notes in Computer Science, pages 1–11. Springer, 2007.

2. S. Artemov. Operational modal logic. Technical Report MSI 95-29, Cornell University, 1995.

3. S. Artemov. Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7(1):1–36, 2001.

4. S. Artemov. Justified common knowledge. Theoretical Computer Science, 357(1–3):4–22, 2006.

5. S. Artemov. Symmetric logic of proofs. In A. Avron, N. Dershowitz, and A. Rabinovich, editors, Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, volume 4800 of Lecture Notes in Computer Science, pages 58–71. Springer, Berlin, Germany, February 2008.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Classical reasoning in the justification paradigm;Journal of Logic and Computation;2022-11-02

2. Minimal abductive solutions with explicit justification;Logic Journal of the IGPL;2020-01-02

3. Probabilistic Justification Logic;Philosophies;2018-02-16

4. Neo-Stoicism and What It Can Do;Ergo, an Open Access Journal of Philosophy;2016-10-13

5. The Logic of Uncertain Justifications;Annals of Pure and Applied Logic;2014-01