00000caa a22000004a 4500 UP-8027390931312556285 Buklod 20210715153437.0 o--- | || || ta 210715s xx d r |||| u| (iLib)UPCEB-00012051811 emz Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic. pp. 41-56 This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic. Philosophy Periodicals. Teaching Periodicals. Collette, D. Teaching Philosophy. vol. 42, 1. (Mar 2019). https://doi.org/10.5840/teachphil2019116101. Analytics