About LogicalZoo

LogicalZoo is a curated reference guide to formal logics.

The idea

The idea of a thematic “zoo” is inspired by the Complexity Zoo. LogicalZoo is an independent project devoted to logic.

Scope

Entries may cover syntax, semantics, proof theory, expressive power, model theory, decidability, and computational complexity.

Editorial policy

Articles are maintained editorially. Public registration and open editing are not currently supported.

Scholarly conventions

Claims should state their assumptions explicitly. In particular, entries should distinguish finite from unrestricted structures and make signature conventions clear.