WordNet: alethic logic

Sanatista
the modal logic of necessity and possibility and contingency



alethic logic