TY  - RPRT
TI  - Partial Incorrectness Logic
AU  - Lena Verscht
AU  - Ānrán Wáng
AU  - Benjamin Lucien Kaminski
PY  - 2025
UR  - https://arxiv.org/abs/2502.14626
ID  - 2502.14626
ER  -