https://123dok.net/document/y8gxj9lr-completeness-theorems-for-reactive-modal-logics.html