Forthcoming Presenting Profunctors Gabriel Goren-Roig, Joshua Meyers, and Emilio Minichiello Proceedings of the Seventh International Conference on Applied Category Theory 2024, Forthcoming arXiv Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics Santiago Figueira, and Gabriel Goren-Roig Journal of Logic and Computation, Forthcoming arXiv