TY  - RPRT
TI  - Value-Refined Modal Fixed-Point Semantics with Certified Choice and Public Share-Alike Certificates
AU  - Faruk Alpay
AU  - Levent Sarioglu
PY  - 2026
UR  - https://arxiv.org/abs/2606.07884
ID  - 2606.07884
ER  -