1. The logical study of necessity and possibility
   "The researcher applied modal logic to explore different possible worlds in her philosophical theory"
    
2. A system of logic whose formal properties resemble certain moral and epistemological concepts
   "Modal logic is used to analyse statements about possibility and necessity"

Derived forms: modal logics

Type of: formal logic, logic, mathematical logic, symbolic logic

Encyclopedia: Modal logic