epistemic_logic has definitions from the fields of mathematics,logic
1
[ noun ] (mathematics,logic) the modal logic of knowledge and uncertainty and ignorance

Related terms

modal_logic

*