TY  - RPRT
TI  - A Counterexample to KL1 Completeness and a Complete Disjunctive Calculus
AU  - Damiano Presa
AU  - Fabio Aurelio D'Asaro
AU  - Massimiliano Badino
PY  - 2026
UR  - https://arxiv.org/abs/2610.37107
ID  - 2610.37107
ER  -