Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators

Stanislav Kikot. Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators. In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer, editors, Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pages 9, College Publications, 2018. [doi]

Abstract

Abstract is missing.