On the expressive power of the normal form for branching-time temporal logics
From MaRDI portal
(Redirected from Publication:6659914)
Cites work
- A clausal resolution method for branching-time logic \(\text{ECTL}^+\)
- A clausal resolution method for CTL branching-time temporal logic
- A clausal resolution method for extended computation tree logic ECTL
- A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
- A Refined Resolution Calculus for CTL
- Alternating automata and temporal logic normal forms
- Clausal temporal resolution
- CTL-RP: A computation tree logic resolution prover
- Handbook of modal logic
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1980919 (Why is no real title available?)
- On the Relationship between -automata and Temporal Logic Normal Forms
- Propositional dynamic logic of regular programs
- Quantified CTL: expressiveness and complexity
- Theorem proving using clausal resolution: from past to present
- “Sometimes” and “not never” revisited
This page was built for publication: On the expressive power of the normal form for branching-time temporal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659914)
