Notions of Bisimulation for Heyting-Valued Modal Languages.
Pantelis E. EleftheriouCostas D. KoutrasChristos NomikosPublished in: J. Log. Comput. (2012)
Keyphrases
- set theory
- expressive power
- language independent
- modal logic
- computational properties
- arabic language
- cross lingual
- multi valued
- description languages
- databases
- object oriented
- image analysis
- search algorithm
- target language
- artificial intelligence
- machine learning
- nonmonotonic logics
- multi lingual
- object oriented languages