Isabelle Logics

Click on the logic's name to view a list of its theories.
First-Order Logic
Higher-Order Logic
Sequent Calculus
Miscellaneous