Pages that link to "Item:Q2870111"

The following pages link to An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics (Q2870111):

Displaying 2 items.

• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
• On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)