https://123dok.net/document/zgw9dd3n-a-proof-theory-for-model-checking.html