1 paper · 1 filter
Răzvan Diaconescu
We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal log…