In collaborative software development, program merging is the mechanism to integrate changes from multiple programmers. Merge algorithms in modern version control systems report a conflict when interfere textually. conflicts require manual intervention and frequently stall continuous integratio...

Abstract We study the logic of so-called lexicographic or priority merge for multi-agent plausibility models. start with a systematic comparison between logical behavior and more standard notion pooling through intersection, used to define, instance, distributed knowledge. then provide sound complete axiomatization merge, as well proof theory in labeled sequents that admits cut. finally Moorean...