A propositional modal logic of time intervals
Journal of the ACM (JACM)
Interval logics and their decision procedures: part I: an interval logic
Theoretical Computer Science
Decidability of Interval Temporal Logics over Split-Frames via Granularity
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Decidability and Undecidability Results for Duration Calculus
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Propositional Temporal Interval Logic is PSPACE Complete
Proceedings of the 9th International Conference on Automated Deduction
An Optimal Decision Procedure for Right Propositional Neighborhood Logic
Journal of Automated Reasoning
An optimal Tableau-based decision algorithm for propositional neighborhood logic
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
A tableau-based decision procedure for right propositional neighborhood logic
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |
We introduce special pseudo-models for the interval logic of proper subintervals over dense linear orderings. We prove finite model property with respect to such pseudo-models, and using that result we develop a decision procedure based on a sound, complete, and terminating tableau for that logic. The case of proper subintervals is essentially more complicated than the case of strict subintervals, for which we developed a similar tableau-based decision procedure in a recent work.