Pages that link to "Item:Q877892"
From MaRDI portal
The following pages link to An optimal decision procedure for right propositional neighborhood logic (Q877892):
Displaying 5 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)
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
