Lovász Theorems for Modal Languages
J. Comer. AiML 2024.
Research
Conference Papers
Time-Bounded Resilience
T. Ban Kirigin, J. Comer, M. Kanovich, A. Scedrov, C. Talcott. WRLA 2024.
Craig Interpolation for Decidable First-Order Fragments
B. ten Cate, J. Comer. FoSSaCS 2024.
Manuscripts
Technical Report: Time-Bounded Resilience
T. Ban Kirigin, J. Comer, M. Kanovich, A. Scedrov, C. Talcott. arXiv preprint.
Master's Thesis
Homomorphism Counts, Database Queries, and Modal Logics
J. Comer. ILLC, University of Amsterdam.
Talks
Craig Interpolation for Guarded Fragments
B. ten Cate, J. Comer. DPFO 2024.