Publisher
Springer Science and Business Media LLC
Reference30 articles.
1. Abadi, M. (1989). The power of temporal proofs. Theoretical Computer Science, 65, 35–83.
2. Aristotle (1941). The Basic Works of Aristotle. (R. McKeon, Ed.). New York: Random House.
3. Brauer, E. (2018). Second-order logic and the power set. Journal of Philosophical Logic, 47(1), 123–142.
4. Burgess, J. P. (1980). Decidability of branching time. Studia Logica, 32(2–3), 203–218.
5. Button, T., & Walsh, S. (2018). Philosophy and model theory. Oxford: Oxford University Press.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Taxonomy for Set-Theoretic Potentialism;Philosophia Mathematica;2024-08-27
2. Arithmetic is Necessary;Journal of Philosophical Logic;2024-06-05
3. A Natural Deduction Calculus for S4.2;Notre Dame Journal of Formal Logic;2024-05-01
4. Mathematical Modality: An Investigation in Higher-order Logic;Journal of Philosophical Logic;2023-11-28
5. A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES;The Bulletin of Symbolic Logic;2023-03-09