Propositional Temporal Interval Logic is PSPACE Complete

Authors:
A. A. Aaby;K. T. Narayana
Affiliations:
-;-
Venue:
Proceedings of the 9th International Conference on Automated Deduction
Year:
1988

Citing 0
Cited 3

A graphical interval logic for specifying concurrent systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

Electronic Notes in Theoretical Computer Science (ENTCS)
Axiomatizations Of Interval Logics

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract