alethic_logic has definitions from the fields of mathematics,logic
1
[ noun ] (mathematics,logic) the modal logic of necessity and possibility and contingency

Related terms

modal_logic

*