Logics

Bivalent

• CPL - Classical Predicate Logic
• CFOL - Classical First-Order Logic

Bivalent Modal

• K - Kripke Normal Modal Logic
• D - Deontic Normal Modal Logic
• T - Reflexive Normal Modal Logic
• S4 - S4 Normal Modal Logic
• S5 - S5 Normal Modal Logic

Many-valued

• FDE - First Degree Entailment
• K₃ - Strong Kleene Logic
• LP - Logic of Paradox
• L₃ - Łukasiewicz 3-valued Logic
• RM₃ - R-mingle 3
• K³_W - Weak Kleene Logic
• K³_WQ - Weak Kleene Logic with alternate quantification
• B³_E - Bochvar 3-valued External Logic
• G₃ - Gödel 3-valued Logic
• MH - Paracomplete Hybrid Logic
• NH - Paraconsistent Hybrid Logic
• GO - Gappy Object Logic
• P₃ - Post 3-valued Logic

Many-valued Modal

• KFDE - FDE with K Modal
• TFDE - FDE with T Modal
• S4FDE - FDE with S4 Modal
• S5FDE - FDE with S5 Modal
• KK₃ - K₃ with K Modal
• TK₃ - K₃ with T Modal
• S4K₃ - K₃ with S4 Modal
• S5K₃ - K₃ with S5 Modal
• KLP - LP with K Modal
• TLP - LP with T Modal
• S4LP - LP with S4 Modal
• S5LP - LP with S5 Modal
• KL₃ - L₃ with K Modal
• TL₃ - L₃ with T Modal
• S4L₃ - L₃ with S4 Modal
• S5L₃ - L₃ with S5 Modal
• KRM₃ - RM₃ with K Modal
• TRM₃ - RM₃ with T Modal
• S4RM₃ - RM₃ with S4 Modal
• S5RM₃ - RM₃ with S5 Modal
• KK³_W - K³_W with K Modal
• TK³_W - K³_W with T Modal
• S4K³_W - K³_W with S4 Modal
• S5K³_W - K³_W with S5 Modal
• KB³_E - B³_E with K Modal
• TB³_E - B³_E with T Modal
• S4B³_E - B³_E with S4 Modal
• S5B³_E - B³_E with S5 Modal
• KG₃ - G₃ with K Modal
• TG₃ - G₃ with T Modal
• S4G₃ - G₃ with S4 Modal
• S5G₃ - G₃ with S5 Modal
• S4GO - GO with S4 Modal