Affine logic Bunched logic Computability logic Decision theory Description logic Deviant logic Free logic Fuzzy logic Game theory Intensional logic Intuitionistic logic Linear logic Many-valued logic Minimal logic Non-monotonic logic Noncommutative logic Paraconsistent logic Probability theory Quantum logic Relevance logic Strict logic Substructural logic