Properties (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Philosophers
|
| gptkbp:admissionFee |
Formal Methods
Game Theory Set Theory Model Theory |
| gptkbp:analyzes |
Modal Logic
Validity Complexity Theory Computability Arguments Truth Values Algorithmic Logic Logical Fallacies Argument Structures Temporal_Logic |
| gptkbp:collaboratedWith |
Linguists
Mathematicians |
| gptkbp:competesWith |
Inductive Reasoning
Semantics |
| gptkbp:contributedTo |
Artificial Intelligence
Philosophy |
| gptkbp:controversy |
Epistemic Logic
Paradoxes |
| gptkbp:criticism |
Philosophical Arguments
Fallacies |
| gptkbp:defines |
Propositions
Logical Connectives Logical_Systems |
| gptkbp:developer |
gptkb:Quantum_Logic
Computational Logic Logical_Systems |
| gptkbp:engagesIn |
Critical Thinking
Formal Semantics Philosophical Inquiry |
| gptkbp:explores |
Inference
Non-classical Logics Ethics of Logic |
| gptkbp:hasPrograms |
Theorems
Logical Frameworks |
| https://www.w3.org/2000/01/rdf-schema#label |
Logicians
|
| gptkbp:influence |
Cognitive Science
Computer Science |
| gptkbp:participatedIn |
Conferences
Philosophical Discourse |
| gptkbp:publishes |
Books
Research Papers |
| gptkbp:recognizes |
Deductive Reasoning
Syntax |
| gptkbp:research |
Fuzzy Logic
Logic Predicate Logic Philosophical Logic Intuitionistic Logic Paraconsistent Logic |
| gptkbp:taught |
Logical Reasoning
Mathematical Logic |
| gptkbp:uses |
Symbolic Logic
|
| gptkbp:utilizes |
Proof Assistants
Proof Techniques |
| gptkbp:winner |
Proof Theory
Quantifiers |