1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Guram Bezhanishvili, Luca Carai, Patrick Morandi
It is a classic result in modal logic that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a S…