Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference33 articles.
1. Artemov, S., Operational Modal Logic, Technical Report MSI 95-29, Cornell University, Ithaca, NY, 1995.
2. Artemov, S., Explicit provability and constructive semantics, The Bulleting of Symbolic Logic 7(1):1–36, 2001.
3. Artemov, S., The logic of justification, The Review of Symbolic Logic 1(4):477–513, 2008.
4. Baaz, M., Infinite-valued Gödel logics with 0-1-projections and relativizations, in Proc. Gödel’96, Logic, Foundations of Mathematics, Computer Science and Physics, vol. 6 of Lecture Notes in Logic, Springer, 1996, pp. 23–33.
5. Baaz, M., N. Preining, and R. Zach, First-order Gödel logics, Annals of Pure and Applied Logic 147(1–2):23–47, 2007.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献