logo
Superintuitionistic Companions of Classical Modal Logics*
Consequence Operations Based on Hypergraph Satisfiability
Game Logic and its Applications II*
Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator