Ádám Kurucz

Dependently Typed Model Composition for Matching Logic

This paper investigates model composition—often referred to as"gluing"—within the framework of matching logic. Specifically, we examine the systematic combination of existing signatures, variable valuations, theories, and their corresponding models. Our primary objective is to ensure that this composition preserves...