An Axiom System for a Spatial Logic with Convexity. - Adam Trybus (ECAI, 2010)

Rational Region-Based Affine Logic of the Real Plane. - Adam Trybus (ACM Trans. Comput. Log., 2016)

n-valued maximal paraconsistent matrices. - Adam Trybus (J. Appl. Non Class. Logics, 2019)

Three-Dimensional Affine Spatial Logics. - Adam Trybus (Logica Universalis, 2022)

Making Bielik LLM Reason (Better): A Field Report. - Adam Trybus; Bartosz Bartnicki; Remigiusz Kinas (CoRR, 2026)

A Non-Binary Method for Finding Interpolants: Theory and Practice. - Adam Trybus; Karolina Rozko; Tomasz Skura (CoRR, 2026)