The following pages link to Cláudia Nalon (Q281155):
Displayed 17 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854) (← links)
- A resolution-based calculus for preferential logics (Q1799110) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}'' (Q2102952) (← 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)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- A resolution-based calculus for Coalition Logic (Q2937697) (← links)
- Clausal Resolution for Modal Logics of Confluence (Q3192202) (← links)
- Ordered Resolution for Coalition Logic (Q3455769) (← links)
- A Modal-Layered Resolution Calculus for K (Q3455770) (← links)
- Anti-prenexing and Prenexing for Modal Logics (Q3533143) (← links)
- Modal Resolution (Q4972162) (← links)
- (Q4994892) (← links)
- Clausal resolution for normal modal logics (Q5429559) (← links)