Semisimple Varieties of Modal Algebras.

Tomasz Kowalski Marcus Kracht

Published in: Stud Logica (2006)

Keyphrases

modal logic
spatial reasoning
temporal reasoning
topological spaces
neural network
image sequences
relation algebra
clifford algebra
distributive lattices
real time
databases
three dimensional
optimal solution
multiresolution