Pages that link to "Item:Q4647556"
From MaRDI portal
The following pages link to Search strategies for resolution in temporal logics (Q4647556):
Displaying 6 items.
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Temporal resolution using a breadth-first search algorithm (Q1383357) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- (Q4012170) (← links)
- Resolution for temporal logics of knowledge (Q4209289) (← links)