Computational Interpretations of Modalities 15-816 : Modal Logic