Keyphrases
- sound and complete axiomatization
- language learning
- programming language
- concurrent programming
- modal logic
- multi valued
- conditional logic
- formal language
- formal theory
- mathematical theory
- intuitionistic logic
- linear temporal logic
- formal logic
- agent programming
- proof theory
- artificial intelligence
- predicate logic
- data sets
- relational structures
- operational semantics
- automated reasoning