A categorical account of composition methods in logic
(2023)
Presentation / Conference Contribution
Marsden, D., Shah, N., & Jakl, T. (2023). A categorical account of composition methods in logic. In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). https://doi.org/10.1109/LICS56636.2023.10175751
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 method... Read More about A categorical account of composition methods in logic.