Pages that link to "Item:Q1383357"
From MaRDI portal
The following pages link to Temporal resolution using a breadth-first search algorithm (Q1383357):
Displaying 12 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
- A Refined Resolution Calculus for CTL (Q5191106) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- A recursive full search algorithm based on temporal correlation (Q5958664) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)