TY  - RPRT
TI  - A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction
AU  - Zhicheng Chen
PY  - 2024
UR  - https://arxiv.org/abs/2207.07306
ID  - 2207.07306
ER  -