Agda: remove experimental/ModalLogic.agda (its existence on branch master is a misunderstanding)
Agda: remove experimental/ModalLogic.agda
(its existence on branch master is a misunderstanding)

Old-commit-hash: 57203332fc449b7188df1085e5ff637de929dbc0

inc-lc/ilc-agda