Algebraic modal correspondence: Sahlqvist and beyond.

Willem Conradie Alessandra Palmigiano Sumit Sourabh

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

modal logic
point correspondences
real time
databases
genetic algorithm
information systems
neural network
social networks
decision making
image sequences
data structure
d objects
point sets
feature matching