@misc{indiciaebb1502cc9c54, title = {A Bitopological Approach to Finite Reduction and Bounded Exact-Value Certificates for Fitting's Finite Heyting-valued Modal Logic}, author = {Litan Kumar Das and Kumar Sankar Ray and Prakash Chandra Mali}, year = {2026}, url = {https://arxiv.org/abs/2608.05550}, note = {Source identifier: 2608.05550} }