@misc{indiciae78183f3d0d85, title = {Higher Dimensional Modal Logic}, author = {Cristian Prisacariu}, year = {2014}, url = {https://arxiv.org/abs/1405.4100}, note = {Source identifier: 1405.4100} }