How does one build a modal bicategory of relations?
In Evan Patterson's 2017 paper Knowledge Representation in Bicategories of Relations we are given a very elegant explanation of a typed version of RDF and DL (OWL). How would one turn that into a Modal Logic?
In Modal HoTT it seems to be argued that modalities are given through adjunctions between slice categories. Is this applicable here too? Where else should one look?
Edited by Henry Story