•  41
    Algebraic semantics for quasi-classical modal logics
    with W. J. Blok
    Journal of Symbolic Logic 48 (4): 941-964. 1983.
    A well-known result, going back to the twenties, states that, under some reasonable assumptions, any logic can be characterized as the set of formulas satisfied by a matrix 〈,F〉, whereis an algebra of the appropriate type, andFa subset of the domain of, called the set of designated elements. In particular, every quasi-classical modal logic—a set of modal formulas, containing the smallest classical modal logicE, which is closed under the inference rules of substitution and modus ponens—is charact…Read more