Jérémie Marquès

First-Order Modal Logic via Logical Categories

2025 · arXiv (Cornell University)

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 factorization system. We prove a Joyal-style representation theorem …