Pages that link to "Item:Q3455770"
From MaRDI portal
The following pages link to A Modal-Layered Resolution Calculus for K (Q3455770):
Displaying 5 items.
- 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)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
