← back to paper

Review history

arxiv: 2601.04080 · 2 revisions

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System

1. 2026-08-03 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 6.0
   262831 ms 9357 in 28635 out 2026-08-03T12:08:01.614409+00:00
2. 2026-05-16 UNVERDICTED LOW v0.9.0 novelty 6.0
   47978 ms 5474 in 1088 out 2026-05-16T16:23:10.695848+00:00