Cofnod E-bost: Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.