Keyphrases
- modal logic
- truth values
- classical logic
- temporal logic
- artificial intelligence
- special issue
- epistemic logic
- multi valued
- cognitive tasks
- automated reasoning
- logic programming
- information processing
- sound and complete axiomatization
- cognitive development
- inference rules
- proof theory
- expert systems
- embodied cognition
- cognitive architecture
- predicate logic
- nonmonotonic logics
- defeasible logic
- conceptual clustering
- data sets
- situation calculus
- fuzzy sets
- knowledge representation
- machine learning
- neural network