Individual km#formal_logic
  >part:  philosophical_logic  mathematical_logic  non-modal_logic  modal_logic  classical_logic  non_classical_logic  type_theory  term_logic  dialectical_logic
  url:  http://en.wikipedia.org/wiki/Formal_logic
  >part of:  logic.philosophy  the branch of philosophy that analyzes inference
     >part of:  philosophy  the rational investigation of questions about existence and knowledge and ethics

No statement uses or specializes formal_logic; click here to add one.