Sahlqvist Formulas Unleashed in Polyadic Modal Languages.

Valentin Goranko Dimiter Vakarelov

Published in: Advances in Modal Logic (2000)

Keyphrases

propositional variables
expressive power
modal logic
text summarization
multi lingual
databases
object oriented languages
neural network
information retrieval
search algorithm
text classification
query translation
description languages
syntactic and semantic dependencies