WordNet: modal logic

Sanatista
the logical study of necessity and possibility



modal logic