A Decision Algorithm for Full Propositional Temporal Logic
No abstract available.
Related papers
- Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions CAV 1995
- Expressing Interesting Properties of Programs in Propositional Temporal Logic POPL 1986
- Specification and Synthesis of Communicating Processes using an Extended Temporal Logic POPL 1982
- Synthesis of Communicating Processes from Temporal Logic Specifications TOPLAS 1984
- Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach POPL 1983
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- Measurement-Based Verification of Quantum Markov Chains CAV 2024
- Temporal Logic Programming is Complete and Expressive POPL 1989