TY  - RPRT
TI  - On the local consequence of modal Product logic: standard completeness and decidability
AU  - Amanda Vidal
PY  - 2026
UR  - https://arxiv.org/abs/2306.13903
ID  - 2306.13903
ER  -