(n)modal logicthe logical study of necessity and possibility