Neben den beiden in diesem Buch intensiv behandelten Logiken, der klassischen Aussagenlogik und der erststufigen Prädikatenlogik, gibt es noch viele weitere Logiken, die je nach Anwendung interessant und geeignet sein können. Dieses Kapitel skizziert kurz drei solcher Logiken: Prädikatenlogik zweiter Stufe, Modallogik und intuitionistische Aussagenlogik.