DEKL 2.0 is a dependent type-theoretic framework treating traces as first-class objects, with knowledge as presheaves over the finite-trace category, establishing trace-reachability correspondence and completeness while unifying executable traces with knowledge revision.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory
DEKL 2.0 is a dependent type-theoretic framework treating traces as first-class objects, with knowledge as presheaves over the finite-trace category, establishing trace-reachability correspondence and completeness while unifying executable traces with knowledge revision.