Individual km#modal_logic__intensional_logic__intensionallogic  sentences are qualified by modalities such as possibly and necessarily; both "Bush is president" and "2+2=4" are true, yet "Necessarily, Bush is president" is false, while "Necessarily, 2+2=4" is true
  >part:  km#deontic_logic  km#epistemic_logic  km#temporal_logic  km#conditional_logic
  url:  http://en.wikipedia.org/wiki/Modal_logic  http://plato.stanford.edu/entries/logic-modal/
  >part of:  km#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#modal_logic; click here to add one.