- ==> Logik
- <== Logik, mehrwertige
- <== Prädikatenlogik
- <== Aussagenlogik
- <== Inferenzverfahren
- <== Kognition
- <== Wissen und Wissensrepräsentation
- <== Fuzzy-Logik
- <== Sprachverstehen, maschinelles
- <== Formel
- ==> Term
- <== Opakheit
- <== Proposition
- <== Wahrheitsbedingungssemantik
- <== Semantik, modelltheoretische
- <== Mögliche-Welten-Semantik
- <== Designat
- <== Welt, mögliche
- <== Semantik
- <== Situationssemantik, Situationstheorie
- <== Präsuppositionen
- <== Sprachphilosophie, analytische