Pages that link to "Item:Q5479269"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5479269):
Displayed 5 items.
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Decidability of a Hybrid Duration Calculus (Q2867952) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)