Keyphrases
- dynamic logic
- computer programs
- proof theory
- formal language
- operational semantics
- programming language
- conditional logic
- intuitionistic logic
- native language
- formal theory
- model theoretic
- order sorted
- lambda calculus
- modal operators
- classical logic
- highly expressive
- language learning
- computer systems
- natural language
- default reasoning
- predicate calculus
- pilot study
- modal logic
- linear logic
- language learners
- school children
- educational games
- target language
- computational linguistics
- defeasible logic