This page is intended to contain an alphabetical list of propositional and predicate logics that have been investigated in the published literature.

This list is still very much under construction, so feel free to add further logics, and to add information about individual entries.

Many of the propositional logics on this page have algebraic semantics given by a class of structures on the main page. Algebraic logic is the area that investigates the connections between logics and their algebraic counterparts.

QR Code
QR Code logics (generated for current page)