Hybrid fragments of Halpern-Shoham logic and their expressive power

Przemyslaw Andrzej Walega. Hybrid fragments of Halpern-Shoham logic and their expressive power. Theoretical Computer Science, 797:102-128, 2019. [doi]

Abstract

Abstract is missing.