epistemic logic

from WordNet (r) 3.0 (2006)
epistemic logic
    n 1: the modal logic of knowledge and uncertainty and ignorance
    

[email protected]