Teaching Modal Logic from the Linear Algebraic Viewpoint.
Ryo HatanoKatsuhiko SanoSatoshi TojoPublished in: FLAP (2017)
Keyphrases
- modal logic
- viewpoint
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- classical logic
- prime implicates
- learning environment
- epistemic logic
- conditional logic
- situation calculus
- explanation based generalization
- dynamic logic
- higher education
- learning process
- computer programming
- multiple views
- online learning
- higher order
- autoepistemic logic
- e learning
- educational technology
- default logic
- d objects
- modal operators
- artificial intelligence