2 papers
math.CO2026
Automorphism groups and Distinguishing Colorings of Central and Middle Graphs
Amitayu Banerjee, Alexa Gopaulsingh, Zalán Molnár
Let G be a simple, finite, connected, and undirected graph. The middle graph M(G) of G is obtained from the subdivision graph S(G) after joining pairs of subdivided vertices that l…
math.LO2026
More on modal logics and deduction
Zalán Gyenis, Zalán Molnár, Ãvge Ãztürk
We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the…