TY  - RPRT
TI  - Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames
AU  - Rineke Verbrugge
PY  - 2021
UR  - https://arxiv.org/abs/2102.05947
ID  - 2102.05947
ER  -