Return to Article Details Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic Download Download PDF