2 citations · 2 across the 6 of their papers we have counts for
1 paper · 2 filters
Edward Hermann Haeusler, Alexandre Rademaker
This article presents iALC, an intuitionistic version of the classical description logic ALC, based on the framework for constructive modal logics presented by Simpson \cite{simpso…