1 paper
Philippe Balbiani, Wiebe van der Hoek, Louwe B. Kuijer
Correspondence theory allows us to create sound and complete axiomatizations for modal logic on frames with certain properties. For example, if we restrict ourselves to transitive…