Pages that link to "Item:Q5429559"
From MaRDI portal
The following pages link to Clausal resolution for normal modal logics (Q5429559):
Displaying 15 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- Clausal presentation of theories in deduction modulo (Q744331) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- (Q4941896) (← links)
- Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
