Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II (Q1975160)

This article continues Part I by the same author [Stud. Log. 64, No. 1, 93-132 (2000; Zbl 0948.06009)]. From the introduction: The paper is structured as follows: In Section 1 we briefly introduce the notations and notions that will be used later; we also present a brief overview of the results in the first part of the paper. We start Section 2 with some generalities on propositional non-classical logics, and their algebraic and Kripke-style semantics. We then present various ways of defining classes of Kripke-style models for certain logics for which an algebraic semantics is known. The results are schematically summarized in Section 3. In Section 4 we present some conclusions and remarks concerning further possibilities of defining Kripke-style models for non-classical logics.