Too Long; Didn't Read
In this paper, we present a categorical theory of the composition methods in finite model theory – a key technique enabling modular reasoning.
@escholar
EScholar: Electronic Academic Papers for Scholars
We publish the best academic work (that's too often lost to peer reviews & the TA's desk) to the global tech community
Receive Stories from @escholar
RELATED STORIES
The Abstraction and Reasoning Corpus: C. Limitations and Future Work
Published at Mar 11, 2024 by escholar #abstraction-corpus
Appendix C Proofs Omitted from Section IV
Published at Mar 21, 2024 by escholar #finite-model-theory
Appendix E Proofs Omitted from Section VI
Published at Mar 21, 2024 by escholar #finite-model-theory
FVM Theorems for The Full Logic
Published at Mar 21, 2024 by escholar #finite-model-theory
A Categorical Account of Composition Methods in Logic: Prelimenaries
Published at Mar 21, 2024 by escholar #finite-model-theory
L O A D I N G
. . . comments & more!