https://123dok.net/document/zpn87doy-decidability-for-some-justification-logics-with-negative-introspection.html