Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds.
Natasha KurtoninaPublished in: J. Log. Lang. Inf. (2000)
Keyphrases
- formal language
- natural language
- proof theory
- predicate calculus
- language learning
- formal logic
- programming language
- intuitionistic logic
- highly expressive
- dynamic logic
- formal theory
- predicate logic
- modal operators
- modal logic
- operational semantics
- lambda calculus
- logic programming
- propositional dynamic logic
- representation language
- computational linguistics
- multi valued
- concurrent programming
- mcgraw hill
- order sorted