2 papers
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…
math.CO2025
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…