Publisher
Springer International Publishing
Reference19 articles.
1. Barwise, J., and S. Feferman. (eds.). 1985. Model-theoretic logics, Perspectives in mathematical logic series. New York: Springer.
2. Feferman, S. 1968. Lectures on proof theory. Proceedings of the summer school in logic, Leeds. Lecture notes in mathematics, vol. 70, 1–107.
3. Feferman, S. 1968. Persistent and invariant formulas for outer extensions. Compositio Mathematica 20: 29–52.
4. Feferman, S. 1999. Logic, logics and logicism. Notre Dame Journal of Formal Logic 40: 31–54.
5. Feferman, S. 2010. Set-theoretical invariance criteria for logicality. Notre Dame Journal of Formal Logic 51: 3–20.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logical Constants and Arithmetical Forms;Logic and Logical Philosophy;2023-06-23
2. Invariance as a basis for necessity and laws;Philosophical Studies;2021-05-01
3. A Note on Logicality of Generalized Quantifiers;Logica Universalis;2021-03-26
4. CARNAP’S PROBLEM FOR MODAL LOGIC;The Review of Symbolic Logic;2021-03-08
5. Logical Combinatorialism;The Philosophical Review;2020-10-01