← back to paper

Review history

arxiv: 2605.12351 · 2 revisions

Proof Theory for Bimodal Provability Logics

1. 2026-05-15 UNVERDICTED LOW v0.9.0 novelty 7.0
   47379 ms 5355 in 1275 out 2026-05-15T05:02:46.808821+00:00
2. 2026-05-13 UNVERDICTED LOW v0.9.0 novelty 8.0
   47931 ms 5355 in 1361 out 2026-05-13T02:42:14.952248+00:00