Pages that link to "Item:Q5271056"

The following pages link to Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (Q5271056):

Displaying 3 items.

• Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
• Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
• On a Temporal Logic of Prefixes and Infixes. (Q5089182) (← links)