modal_logic has definitions from the fields of mathematics,logic,philosophy
1
[ noun ] (logic,philosophy) the logical study of necessity and possibility

Related terms

logic

2
[ noun ] (mathematics,logic) a system of logic whose formal properties resemble certain moral and epistemological concepts
*