Vol-1769⫷ Vol-1770 ⫸Vol-1771
urn:nbn:de:0074-1770-0


Vol-1770/ARQNL2016_paper1⫷Vol-1770/ARQNL2016_paper2⫸Vol-1770/ARQNL2016_paper3
Giovanna CorsiEugenio Orlandelli

Sequent Calculi for Indexed Epistemic Logics