Basic Model Theory for Path Predicate Modal Logic Raul Fervari, Santiago Figueira, Gabriel Goren-Roig, and 1 more author In Proceedings of the 21st International Symposium on Logical and Semantic Frameworks, with Applications (LSFA 2026), Jul 2026 DOI arXiv Presenting Profunctors Gabriel Goren-Roig, Joshua Meyers, and Emilio Minichiello Proceedings of the Seventh International Conference on Applied Category Theory 2024, Sep 2025 DOI arXiv Modal Logic with Relations over Paths: A Theoretical Development through Comonadic Semantics Santiago Figueira, and Gabriel Goren-Roig Journal of Logic and Computation, Jan 2025 DOI arXiv