WordNet: epistemic logic

Sanatista
the modal logic of knowledge and uncertainty and ignorance



epistemic logic