Modal logic definition

Modal logic

Topics Modal logic Definition

WordNet

(1) A system of logic whose formal properties resemble certain moral and epistemological concepts

(2) The logical study of necessity and possibility