S
equents
Sequents
LK0
LK
ILL
ILL_predlog
Washing
Modal0
T
S4
S43
Propositional
Quantifiers
Hard_Quantifiers
Nat