TY  - RPRT
TI  - A Bitopological Approach to Finite Reduction and Bounded Exact-Value Certificates for Fitting's Finite Heyting-valued Modal Logic
AU  - Litan Kumar Das
AU  - Kumar Sankar Ray
AU  - Prakash Chandra Mali
PY  - 2026
UR  - https://arxiv.org/abs/2608.05550
ID  - 2608.05550
ER  -