Alternating-Time Temporal Logic

Computer Standards and Interfaces- Netherlands

doi 10.1016/s0920-5489(99)92088-3

Full Text

Abstract

Available in

Date

Authors

Publisher

Elsevier BV

Related search

Regular Linear-Time Temporal Logic

2010English

A Resolution Calculus for the Branching-Time Temporal Logic CTL

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2014English

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

On Temporal Logic Constraint Solving for Analyzing Numerical Data Time Series

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

The Complexity of Linear-Time Temporal Logic Over the Class of Ordinals

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

The Alternating Fixpoint of Logic Programs With Negation

1989English

Reflections on Temporal and Modal Logic

Logic and Logical Philosophy
Philosophy
2014English

A Propositional Logic of Temporal Connectives

Logic and Logical Philosophy
Philosophy
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy