collaborators

1 paper

math.LO2025

Correspondence Theory for Many-valued Modal Logic

Cecelia Britz, Willem Conradie, Wilmari Morton

The aim of the present paper is to generalise Sahlqvist correspondence theory to the many-valued modal semantics defined by Fitting, assuming a perfect Heyting algebra as truth val…