Pages that link to "Item:Q2772883"
From MaRDI portal
The following pages link to Resolution in Modal, Description and Hybrid Logic (Q2772883):
Displaying 7 items.
- Proof complexity of modal resolution (Q832717) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
