Alleged Assassins: Realist and Constructivist Semantics for Modal Modification.
Bjørn JespersenGiuseppe PrimieroPublished in: TbiLLC (2011)
Keyphrases
- nonmonotonic logics
- learning environment
- modal logic
- formal semantics
- modal operators
- logic programming
- learning systems
- semantic information
- kripke models
- constructivist learning
- logical framework
- collaborative learning
- game based learning
- owl ontologies
- propositional logic
- operational semantics
- learning theory
- learning process
- case study