Pages that link to "Item:Q4351796"
From MaRDI portal
The following pages link to A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution (Q4351796):
Displayed 14 items.
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- First-order temporal verification in practice (Q851137) (← links)
- Exploring the future with resource-bounded agents (Q1006514) (← links)
- Backdoors for linear temporal logic (Q1725638) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- SAT-based explicit LTL reasoning and its application to satisfiability checking (Q2335900) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Alternating automata and temporal logic normal forms (Q2488275) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- A clausal resolution method for CTL branching-time temporal logic (Q4421285) (← links)
- A temporal negative normal form which preserves implicants and implicates (Q4443401) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)