2 papers
cs.AI2026
Structural Preservation and the Logical Expressiveness of Graph Neural Networks
PrzemysÅaw Andrzej WaÅÄga, Bernardo Cuenca Grau
Bridges between graph neural networks (GNNs) and logical formalisms have been established by fixing architectural choices, such as the types of aggregation, combination, and activa…
cs.LO2026
Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
PrzemysÅaw Andrzej WaÅÄga, Bernardo Cuenca Grau
We study preservation theorems for modal logics over finite structures with respect to three fundamental semantic relations: embeddings, injective homomorphisms, and homomorphisms.…