Pages that link to "Item:Q3647260"
From MaRDI portal
The following pages link to BDD-based decision procedures for the modal logic K ★ (Q3647260):
Displaying 11 items.
- Logic programming approach to automata-based decision procedures (Q347398) (← 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)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)
- Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic (Q3498457) (← links)
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm (Q3605534) (← links)
- Query Answering in Description Logics: The Knots Approach (Q3638272) (← links)
- An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (Q5191118) (← links)