Pages that link to "Item:Q5434500"
From MaRDI portal
The following pages link to On Decidability and Expressiveness of Propositional Interval Neighborhood Logics (Q5434500):
Displayed 6 items.
- Algebraic neighbourhood logic (Q929966) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)