Formal logic Local logic Legal logic Digital logic General logic Medical logic Cat logic Devil logic Air logic Fire logic