The Logical Choice!
Click on the logic's name to view a list of its theories.
First-Order Logic
FOL
ZF
CCL
LCF
Higher-Order Logic
HOL
HOLCF
Sequent Calculus
LK
Modal
Miscellaneous
CTT
Cube
FOLP