Pages that link to "Item:Q4928458"
From MaRDI portal
The following pages link to InKreSAT: Modal Reasoning via Incremental Reduction to SAT (Q4928458):
Displaying 9 items.
- InKreSAT (Q35221) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT (Q2142066) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- SAT-based explicit LTL reasoning and its application to satisfiability checking (Q2335900) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
