Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference44 articles.
1. Anderson, A.R., and N.D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton, 1975.
2. Antonelli, G.A., A revision-theoretic analysis of the arithmetical hierarchy. Notre Dame Journal of Formal Logic 35(2):204–218, 1994.
3. Avron, A., A constructive analysis of RM. Journal of Symbolic Logic 52(4):939–951, 1987.
4. Baillot, P., and D. Mazza, Linear logic by levels and bounded time complexity. Theoretical Computer Science 411(2):470–503, 2010.
5. Belnap, N.D., Tonk, plonk and plink. Analysis 22(6):130–134, 1962.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Ivlev’s Semantics for Modality;Synthese Library;2024
2. The Modal Logic of Aristotelian Diagrams;Axioms;2023-05-13
3. Knot much like tonk;Synthese;2022-04
4. Provability Games for Non-classical Logics;Logic, Language, Information, and Computation;2021
5. Guest Editors’ Introduction;Journal of Philosophical Logic;2018-08-23