A connectionist model for 2-dimensional modal logic | IEEE Conference Publication | IEEE Xplore