Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra

Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali

Fitting's Heyting-valued logic and Heyting-valued modal logic have already been studied from an algebraic viewpoint. In addition to algebraic axiomatizations with the completeness…