# Princeton Logic Group

## Recent Papers

A. D'Arienzo, V. Pagano, and I. Johnson. 2020. "The 2-categorical structure of predicate theories" arXiv:2011.14056

D. Berntson. Completeness for a new logic of conditionals

H. Lederman et al. Closed structure

J. Burgess. "Putnam on Foundations: Models, Modals, Muddles", in G. Hellman (ed.) Hilary Putnam on Logic and Mathematics, 129-143 (2019)

J. Burgess. "Logic in the Second Half of the Twentieth Century", in K.M.Becker (ed.) Cambridge History of Philosophy, 1945-2015, 137-146 (2019)

N. Dewar 2019. "Ramsey equivalence." *Erkenntnis* 84, 77-99 doi:10.1007/s10670-017-9948-5

H. Lederman et al. Classical opacity Philosophy and Phenomenological Research (2019)

D. Tsementzis, A syntactic characterization of Morita equivalence. Journal of Symbolic Logic 82, 1181-1198 (2018).

E. Washington. On the equivalence of logical theories, Bachelor's thesis, 2018.

*The Review of Symbolic Logic*11 (1): 21–47. doi:10.1017/S1755020317000168

T. Barrett and H. Halvorson. Quine's conjecture on many-sorted logic. Synthese (2017)

H. Lederman et al. Prospects for a naive theory of classes Notre Dame Journal of Formal Logic (2017)

J. Burgess and JC Beall, Logic Oxford Bibliographies in Philosophy (2017)

T. Barrett and H. Halvorson, From geometry to conceptual relativity Erkenntnis 82, 1043-1063 (2016)

T. Barrett and H. Halvorson, Morita equivalence, The Review of Symbolic Logic, vol. 9 (2016), no. 3, pp. 556–582.

T. Barrett and H. Halvorson. Quine and Glymour on theoretical equivalence. Journal of Philosophical Logic. 45, 467–483 (2016)