Compositional Reasoning for Multi-modal Logics.

Luca Aceto, Anna Inglfsdttir, Cristian Prisacariu, Joshua Sack

Browse the full LFCS paper archive.