Year: 2026
Type: article
Abstract: It is shown that the logic $$\textbf{subDL}$$ subDL satisfies the signed variable sharing property, as well as the depth relevance property. The proofs given are by way of translations into logics which are known to satisfy the requisite properties.
Author: Tore Fjetland Øgaard
Institution: University of Bergen
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,190
OpenAlex ID: W7136823950