Pages that link to "Item:Q3523171"
From MaRDI portal
The following pages link to A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic (Q3523171):
Displayed 4 items.
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations (Q3637268) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)