7 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Francesco Dagnino, Giuseppe Rosolini
Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn of doctrines. Modal interior operators are charac…