Pages that link to "Item:Q1977575"
From MaRDI portal
The following pages link to A benchmark method for the propositional modal logics K, KT, S4 (Q1977575):
Displaying 18 items.
- Proof complexity of modal resolution (Q832717) (← links)
- Symmetric blocking (Q897931) (← 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)
- Efficient SAT-based minimal model generation methods for modal logic S5 (Q2118302) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description) (Q3541710) (← links)
- (Q5015283) (← links)
- SYMMETRIES IN MODAL LOGICS (Q5346685) (← links)
- Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic (Q5747765) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
