Individual km#formal_logic
  >part:  km#philosophical_logic  km#mathematical_logic  km#non-modal_logic  km#modal_logic  km#classical_logic  km#non_classical_logic  km#type_theory  km#term_logic  km#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 km#formal_logic; click here to add one.