clueb.it
Labelled sequent calculi for indexed modal logics, di Eugenio Orlandelli
Indexed modal logics are a generalization of standard quantified modal logics obtained by indexing modal operators with sets of terms and by considering a counterpart-theoretic version of a Kripke-type semantics called transition semantics.