On Sahlqvist theory for hybrid logics.

Willem Conradie Claudette Robinson

Published in: J. Log. Comput. (2017)

Keyphrases

theoretical framework
expressive power
theoretical basis
real time
general theory
formal theory
information retrieval
decision making
multiscale
modal logic
inference rules