Congruences of modal µ-algebras.

Luigi Santocanale

Published in: FICS (2002)

Keyphrases

modal logic
distributive lattices
topological spaces
clifford algebra
lower bound
relation algebra
neural network
nonmonotonic logics
boolean algebra