Cardinality logics, part I: inclusions between languages based on 'exactly'.
Harold HodesPublished in: Ann. Pure Appl. Log. (1988)
Keyphrases
- expressive power
- language independent
- table of contents
- modal logic
- databases
- first order logic
- inference rules
- multi lingual
- query language
- nonmonotonic logics
- propositional variables
- number restrictions
- language identification
- conditional logic
- text summarization
- query translation
- cross lingual
- fuzzy logic
- artificial intelligence