Pages that link to "Item:Q5429559"
From MaRDI portal
The following pages link to Clausal resolution for normal modal logics (Q5429559):
Displayed 5 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← 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)