TY  - RPRT
TI  - Embeddings of Propositional Logics into the Provability Logics $\mathbf{S}$ and $\mathbf{D}$
AU  - Mashu Noguchi
PY  - 2026
UR  - https://arxiv.org/abs/2608.04620
ID  - 2608.04620
ER  -