modal logic Meaning, Definition & Usage

1. noun the logical study of necessity and possibility
   
2. noun a system of logic whose formal properties resemble certain moral and epistemological concepts
   

WordNet