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 7 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)
• Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
• Reactive synthesis from interval temporal logic specifications (Q2062122) (← links)
• (Q3384174) (← links)
• On a Temporal Logic of Prefixes and Infixes. (Q5089182) (← links)
• An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)