Individual km#non-modal_logic__nonmodallogic__extensional_logic__extensionallogic  as opposed to intensional logics, the truth value of a complex sentence is determined by the truth values of its sub-sentences
  >part of:  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 non-modal_logic; click here to add one.