Noun: alethic logic
- The modal logic of necessity and possibility and contingency
"Alethic logic deals with statements about what must be true, what can be true, and what is actually true"
Type of: modal logic
Encyclopedia: Alethic logic