Keyphrases
- formal language
- proof theory
- predicate calculus
- programming language
- intuitionistic logic
- natural language
- classical logic
- context dependent
- operational semantics
- agent programming
- language learning
- formal theory
- lambda calculus
- dynamic logic
- higher order
- database language
- partial order
- modal logic
- conditional logic
- asynchronous circuits
- modal operators
- conceptual schema
- rule engine
- computational properties