TY  - RPRT
TI  - Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
AU  - Tim S. Lyon
PY  - 2026
UR  - https://arxiv.org/abs/2603.29424
ID  - 2603.29424
ER  -