Principal congruences of tetravalent modal algebras.

Isabel Loureiro

Published in: Notre Dame J. Formal Log. (1985)

Keyphrases

modal logic
topological spaces
temporal reasoning
database
probabilistic model
information systems
three dimensional
image sequences
computational complexity
lower bound
spatial reasoning