 modal_logic |
||
| 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 | |
| Related terms: | symbolic_logic epistemic_logic deontic_logic doxastic_logic alethic_logic | |
