Sequent Calculi for Indexed Epistemic Logics.

Giovanna Corsi, Eugenio Orlandelli

Browse the full CADE paper archive.