Some theorems on the expressive limitations of modal languages.
Harold T. HodesPublished in: J. Philos. Log. (1984)
Keyphrases
- highly expressive
- knowledge representation languages
- expressive power
- modal logic
- language independent
- databases
- multi lingual
- target language
- multilingual information retrieval
- data sets
- cross lingual
- temporal logic
- description logics
- computer programs
- first order logic
- digital topology
- native language
- multi agent
- neural network