modal logic Synonyms

fuzzy logic exponential logic higher-order logic intuitionistic linear logic knowledge logic linear algebraic logic linear lambda calculus linear sequent calculus linear type theory logic of awareness logic of belief dynamic logic computational logic belief logic deontic logic epistemic logic intuitionistic logic constructive logic first-order logic intensional logic linear logic predicate logic quantified logic affine logic logic of certainty