Cardinality Logics. Part II: Definability in Languages Based on 'Exactly'.
Harold HodesPublished in: J. Symb. Log. (1988)
Keyphrases
- expressive power
- first order logic
- fixed point
- propositional logic
- language identification
- modal logic
- language independent
- inference rules
- data complexity
- relational calculus
- text summarization
- grammatical inference
- cross lingual
- multi lingual
- nonmonotonic logics
- databases
- query language
- information retrieval
- machine learning