Plural logic / Core logic / Girl logic : Uncertain logic / Legal logic Formal logic General logic Local logic Stray magic / Holiday magic /