Publisher
Springer Science and Business Media LLC
Reference24 articles.
1. Andrews, P. B. (1971). Resolution in type theory. Journal of Symbolic Logic, 36(3), 414–432. https://doi.org/10.2307/2269949
2. Bacon, A. (2018). The broadest necessity. Journal of Philosophical Logic, 47(5), 733–783. https://doi.org/10.1007/s10992-017-9447-9
3. Bacon, A. (2023). A Philosophical Introduction to Higher-order Logics. Chapman & Hall, Incorporated: Routledge.
4. Bacon, A. (forthcoming). Mathematical modality: An investigation of set theoretic contingency. Journal of Philosophical Logic
5. Bacon, A., Dorr, C. (2024). Classicism. In P. Fritz, N. K. Jones, (eds.), Higher-Order Metaphysics, (pp. 109–190). Oxford University Press