TY  - RPRT
TI  - Modal logics of conjunctively closed provability predicates
AU  - Haruka Kogure
AU  - Taishi Kurahashi
PY  - 2026
UR  - https://arxiv.org/abs/2607.08730
ID  - 2607.08730
ER  -