Individual #modal_logic.logic  the logical study of necessity and possibility
  >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 modal_logic.logic; click here to add one.