@misc{indiciae1f75bbad5da7,
  title = {Embeddings of Propositional Logics into the Provability Logics \$\textbackslash{}mathbf\{S\}\$ and \$\textbackslash{}mathbf\{D\}\$},
  author = {Mashu Noguchi},
  year = {2026},
  url = {https://arxiv.org/abs/2608.04620},
  note = {Source identifier: 2608.04620}
}