On Compactness of Logics That Can Express Properties of Symmetry or Connectivity.

Vera Koponen Tapani Hyttinen

Published in: Stud Logica (2015)

Keyphrases

topological properties
modal logic
classical logic
neural network
information systems
database systems
expressive power
connected components
symmetry detection