subDL is Relevant
Abstract It is shown that the logic $$\textbf{subDL}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>subDL</mml:mi> </mml:math> 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.
Authors
- Tore Fjetland Øgaard (ORCID: https://orcid.org/0000-0002-7082-991X)
Institutions
- University of Bergen (NO)
Publication Details
- Journal
- Journal of Logic Language and Information
- Published
- 2026-03-16
- DOI
- https://doi.org/10.1007/s10849-026-09462-2
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Universitetet i Bergen
- Haukeland Universitetssjukehus