TY  - RPRT
TI  - Rosser provability and normal modal logics
AU  - Taishi Kurahashi
PY  - 2019
UR  - https://arxiv.org/abs/1812.09735
ID  - 1812.09735
ER  -