On the Expressive Power of Some Extensions of Linear Temporal Logic

Automatic Control and Computer Sciences - United States
doi 10.3103/s014641161907006x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Allerton Press

Related search

On the Expressive Power of Temporal Logic

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
1993English

The Expressive Power of Temporal Relational Query Languages

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
1997English

Expressive Power and Complexity in Algebraic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Regular Linear-Time Temporal Logic

2010English

On the Expressive Power of Counting

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1995English

On the Expressive Power of OCL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Linear Temporal Logic-Based Mission Planning

International Journal of Interactive Multimedia and Artificial Intelligence
2016English

Cyclic Proofs for Linear Temporal Logic

English

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

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy