Find the word definition

WordNet
alethic logic

n. the modal logic of necessity and possibility and contingency