works on
boolean pretopos 1constant domain logic 1discrete locales 1intuitionistic logic 1presheaf toposes 1topos theory 1

From the 1 of 7 linked papers with an AI index.

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

First-Order Modal Logic via Logical Categories

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…