1 paper · 1 filter
Silvio Ghilardi, Jérémie Marquès
We extend the logical categories framework to first order modal logic. In our modal categories, modal operators are applied directly to subobjects and interact with the background…