Some Common Mistakes in the Teaching and Textbooks of Modal Logic.
Xuefeng WenPublished in: CoRR (2020)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- situation calculus
- epistemic logic
- classical logic
- conditional logic
- computer programming
- e learning
- higher education
- learning environment
- nonmonotonic logics
- online learning
- educational technology
- dynamic logic
- learning analytics
- learning materials
- distance learning
- expert systems
- high school
- description logics
- learning process
- explanation based generalization