 We close with brief sketches of some of the main alternatives to classical, first-order logic, providing references to other work and entries to this Encyclopedia. See also the second half of Shapiro and Kouri Kissel [2022].