@misc{indiciae6ac992ecf3be,
  title = {A Proof Theory for Profinite Modal Algebras},
  author = {Matteo De Berardinis and Silvio Ghilardi},
  year = {2026},
  url = {https://arxiv.org/abs/2507.06007},
  note = {Source identifier: 2507.06007}
}