Pages that link to "Item:Q5434480"
From MaRDI portal
The following pages link to Tableau Systems for Logics of Subinterval Structures over Dense Orderings (Q5434480):
Displayed 3 items.
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)