Modal languages for topology: Expressivity and definability.
Balder ten CateDavid GabelaiaDmitry SustretovPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- expressive power
- fixed point
- modal logic
- computational properties
- language independent
- language identification
- text summarization
- machine learning
- propositional variables
- topology preservation
- nonmonotonic logics
- topology preserving
- propositional logic
- bayesian networks
- information systems
- object oriented languages
- neural network
- multilingual information retrieval