Arxiv-Social, 21 Aug 2017 #arxivsocial_computerscience Title: Constructive Modalities with Provability…