Alex Kruckman

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 12

Top Topics

Top Venues

Ann. Pure Appl. Log.

Publications

Artem Chernikov, Ehud Hrushovski, Alex Kruckman, Krzysztof Krupinski, Slavko Moconja, Anand Pillay, Nicholas Ramsey
Invariant measures in simple and in small theories. J. Math. Log. 23 (2) (2023)
Adam Krawczyk, Alex Kruckman, Wieslaw Kubis, Aristotelis Panagiotopoulos
Examples of weak amalgamation classes. Math. Log. Q. 68 (2) (2022)
Alex Kruckman, Lawrence S. Moss
Exploring the Landscape of Relational Syllogistic Logics. Rev. Symb. Log. 14 (3) (2021)
Siddharth Bhaskar, Alex Kruckman
Tameness in least fixed-point logic and McColm's conjecture. Log. Methods Comput. Sci. 17 (1) (2021)
Alex Kruckman, Chieu-Minh Tran, Erik Walsberg
Interpolative fusions. J. Math. Log. 21 (2) (2021)
Caleb Kisby, Saúl Blanco, Alex Kruckman, Lawrence S. Moss
Logics for Sizes with Union or Intersection. AAAI (2020)
Alex Kruckman
Disjoint n-Amalgamation and Pseudofinite Countably Categorical Theories. Notre Dame J. Formal Log. 60 (1) (2019)
Gabriel Conant, Alex Kruckman
Independence in Generic incidence Structures. J. Symb. Log. 84 (2) (2019)
Alex Kruckman, Lawrence S. Moss
Exploring the Landscape of Relational Syllogistic Logics. CoRR (2018)
Alex Kruckman, Nicholas Ramsey
theories. Ann. Pure Appl. Log. 169 (8) (2018)
Siddharth Bhaskar, Alex Kruckman
Model-theoretic dividing lines in least fixed-point logic over finite structures. CoRR (2017)
Alex Kruckman, Lawrence Valby
Actions Arising from Intersection and Union. J. Log. Lang. Inf. 25 (2) (2016)
Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax
A Myhill-Nerode theorem for automata with advice GandALF (2012)