Pages that link to "Item:Q2429982"
From MaRDI portal
The following pages link to Resolution with order and selection for hybrid logics (Q2429982):
Displaying 8 items.
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability (Q695777) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- Combining preorder and postorder resolution in a satisfiability solver (Q2741518) (← links)
- Resolution in modal, description and hybrid logic (Q2772883) (← links)
- Ordered Resolution for Coalition Logic (Q3455769) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- (Q4537439) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705955) (← links)