Topological completeness of extensions of S4.

Guram Bezhanishvili David Gabelaia Joel Lucero-Bryan

Published in: TACL (2013)

Keyphrases

topological properties
objective function
connected components
efficient implementation
information systems
multiresolution
probabilistic model
topology preserving
topology preservation
geometric objects
argumentation semantics
reeb graph