Reasoning About Truth in First-Order Logic

Keyphrases

• Capacity Constraints 33%
• Cognitive Resources 66%
• Complexity Measures 66%
• Computer Program 33%
• Declarative Memory 33%
• Explicit Model 33%
• Falsity 33%
• Finite Graph 33%
• First-order Logic 100%
• Procedural Memory 33%
• Proof System 100%
• Psychological Complexity 33%
• Psychological Experiment 33%
• Sensory Memory 33%
• System Features 33%
• True or False 33%
• Working Memory 33%

Psychology

• Cognitive Resource 100%
• Declarative Memory 50%
• Procedural Memory 50%
• Psychology 100%
• Sensory Memory 50%
• Working Memory 50%

Computer Science

• Capacity Limit 33%
• Cognitive Resource 66%
• Complexity Measure 66%
• Computer Software 33%
• Proof System 100%