A Resolution Calculus for the Branching-Time Temporal Logic CTL

ACM Transactions on Computational Logic - United States
doi 10.1145/2529993
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

A Clausal Resolution Method for Branching-Time Logic ECTL+

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2006English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

A Refinement Logic for the Fork Calculus

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1995English

Supervisory Control of Discrete Event Systems With CTL* Temporal Logic Specifications

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2006English

Regular Linear-Time Temporal Logic

2010English

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

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

A Resolution Calculus for First-Order Schemata

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Temporal Super-Resolution for Time Domain Continuous Imaging

Electronic Imaging
2017English

A Probabilistic Logic Programming Event Calculus

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy