research
∙
06/13/2022
A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic
The language of modal logic is capable of expressing first-order conditi...
share
research
∙
10/18/2021
