Preliminary Experiences Towards an Inclusion of Dramatists - Teach Logic with Language (short paper).
Anette BentzBernhard StandlPublished in: ISSEP (CEURWS Volume) (2020)
Keyphrases
- programming language
- highly expressive
- dynamic logic
- formal language
- proof theory
- logic programming
- operational semantics
- case study
- language learning
- linear temporal logic
- computer programming
- classical logic
- intuitionistic logic
- predicate calculus
- modal operators
- modal logic
- language processing
- propositional dynamic logic
- natural language
- agent programming
- formal logic
- lambda calculus
- knowledge base
- order sorted
- model theoretic
- natural language processing
- object oriented