@misc{indiciae754fb641b01b, title = {KOS-TL (Knowledge Operation System Type Logic)}, author = {Peng Chen}, year = {2026}, url = {https://arxiv.org/abs/2601.01143}, note = {Source identifier: 2601.01143} }