https://123dok.net/document/qvl1x131-fully-labelled-proof-intuitionistic-modal-logics.html