Propositional Logics
These are exclusively concerned with the logic of sentential operators such as "and", "or", "not".
Such operators are usually, but not always, truth functional.

Predicate Logics
These usually cover propositional logic and the logic of quantifiers such as "all" and "some".
Can be either first order, in which case quantification is permitted only over individuals, or higher order, in which case quantification over predicates or properties is permitted.

Foundation Systems
These are logical systems whose domain of discourse is rich enough to provide a basis for a substantial part of modern mathematics, e.g. set theory, higher order logic, or other type theories.


Modal Logics
Modal logics are usually propositional logics with added propositional operators concerning, for example, necessity, time, knowledge, belief, provability...

Type Theories
The first type theory was Russell's, since then there have been many others.
Logical type theories are higherorder logics in which the domain of discourse is divided by logical type and each quantifier must range over just one of these types.

Relevance Logics
Relevance logics provide an "implication" operator over propositions which is intended to be closer in meaning to the meaning of "implies" in natural English.
In particular, not all propositions are implied by a falsehood. 

Constructive Logics
Constructive logics are logics in which existence proofs are only possible for entities which can be constructed in a suitably concrete manner (e.g. as some kind of canonical term).
They are usually intuitionistic.

Combinatory Logics
Combinatory logics are logics in which "combinators" are used instead of constructs involving bound variables (such as quantifiers).

NonMonotonic Logics
Logics (devised for AI) in which adding premises may diminish the set of derivable conclusions.

