Matematisk logikk (symbolsk logikk)
Lineær logikk
Ikke-monoton logikk
Abduksjon
Substrukturell logikk
Parakonsistent logikk
Default-logikk
Relevanslogikk
Abduksjon (logikk)
Abduktivt resonnement
Abduktivt resonnement--matematisk logikk
Ikke-klassisk logikk--matematisk logikk
Ikke-klassisk logikk
Flerverdilogikk
Fuzzy-logikk
Modal logikk
Betinget logikk
Sannsynlighetslogikk
Norsk WebDewey