I'm not sure if this is the right stack to post this question.
Given there are many types of logic; Syllogistic, Symbolic, Modal, Deontic, Temporal, Epistemic, (non)monotonic, formal, informal, FOL, Propositional, Predicate, and the list goes on, I am struggling to understand how they relate to one another (some more than others).
Can they be represented in some form of (approximately) directed graph? Has anyone made an attempt to do this? Is there a reference I can read that would help me understand how the categories relate to one another?
I am, in asking this question, more interested in developing an overall mental map than looking for specific differences between the categories, which I can determine by reading about each. Cheers.