Multiple-Conclusion Logics
Nonmonotonic Logics
Abstract Algebraic Logic
Substructural Logics
Universal Computation
Combination of Logics
Abstract Model Theory
Tableaux Systems
Many-Valued Semantics
Logics for Semistructured Data
Logics and Games
Combinatory Logic and Lambda Calculus
Universal Algebra for Logics
Fuzzy Logics
Abstract Proof Theory
Adaptive Logics
Kripke Structures
Introduction to Universal Logic
Category Theory and Logic
Consequence Operators