Coherence in Modal Logic

Tomasz Kowalski, George Metcalfe

A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown…