Pages that link to "Item:Q4647549"
From MaRDI portal
The following pages link to Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549):
Displaying 5 items.
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- SAT-based explicit LTL reasoning and its application to satisfiability checking (Q2335900) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)
