Synthetic_Completeness

Maximal_Consistent_Sets

Derivations

Refutations

Example_Propositional_Tableau

Example_Propositional_SC

Example_Modal_Logic

Example_Hybrid_Logic

Example_First_Order_Logic