A categorical account of composition methods in logic
(2023)
Conference Proceeding
Marsden, D., Shah, N., & Jakl, T. (2023). A categorical account of composition methods in logic. In Proceedings of the 38th Annual Symposium on Logic in Computer Science (LICS 2023)
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the composition meth... Read More about A categorical account of composition methods in logic.