Logical language 8 Biomineralization 4 Computer circuits 4 Data structures 4 Linguistics 4 Modal logic 4 Relational Model 4 Additional datum 2 Algebra 2 Automata theory 2 Calculations 2 Complete system 2 Computation theory 2 Computational complexity 2 Computational linguistics 2 Computational logic 2 Content determination 2 Definability 2 Expressive power 2 Generating referring expressions 2 Interpolation 2 Logic programming 2 Modal language 2 Model checking 2 Model checking problem 2 Model properties 2 Model theory 2 Natural language generation 2 Natural language processing systems 2 Partial views 2