A formal system for the non-theorems of the propositional calculus. - Xavier Caicedo Ferrer (Notre Dame J. Formal Log., 1978)

On extensions of Lωω(Q1). - Xavier Caicedo (Notre Dame J. Formal Log., 1981)

Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. - Ayda I. Arruda; Xavier Caicedo; Rolando Chuaqui; Newton C. A. da Costa (J. Symb. Log., 1983)

Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. - Xavier Caicedo; Rolando Chuaqui; Newton C. A. da Costa; Carlos A. Di Prisco (J. Symb. Log., 1984)

A Simple Solution to Friedman's Fourth Problem. - Xavier Caicedo (J. Symb. Log., 1986)

Definability properties and the congruence closure. - Xavier Caicedo (Arch. Math. Log., 1990)

Compactness and Normality in Abstract Logics. - Xavier Caicedo (Ann. Pure Appl. Log., 1993)

Syntactical Content of Finite Approximations of Partial Algebras. - Wiktor Bartol; Xavier Caicedo; Francesc Rosselló (Rough Sets and Current Trends in Computing, 1998)

An Algebraic Approach to Intuitionistic Connectives. - Xavier Caicedo; Roberto Cignoli (J. Symb. Log., 2001)

Definability and automorphisms in abstract logics. - Xavier Caicedo (Arch. Math. Log., 2004)

Implicit connectives of algebraizable logics. - Xavier Caicedo (Stud Logica, 2004)

Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. - Xavier Caicedo (Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006)

Equivalence and quantifier rules for logic with imperfect information. - Xavier Caicedo; Francien Dechesne; Theo M. V. Janssen (Log. J. IGPL, 2009)

Standard Gödel Modal Logics. - Xavier Caicedo; Ricardo Oscar Rodríguez (Stud Logica, 2010)

Bi-modal Gödel logic over [0,1]-valued Kripke frames - Xavier Caicedo; Ricardo Oscar Rodríguez (CoRR, 2011)

A Finite Model Property for Gödel Modal Logics. - Xavier Caicedo; George Metcalfe; Ricardo Oscar Rodríguez; Jonas Rogger (WoLLIC, 2013)

Omitting uncountable types and the strength of [0, 1]-valued logics. - Xavier Caicedo; José Iovino (Ann. Pure Appl. Log., 2014)

Lindström's Theorem for Positive Logics, a Topological View. - Xavier Caicedo (Logic Without Borders, 2015)

Bi-modal Gödel logic over [0, 1]-valued Kripke frames. - Xavier Caicedo; Ricardo Oscar Rodríguez (J. Log. Comput., 2015)

Decidability of order-based modal logics. - Xavier Caicedo; George Metcalfe; Ricardo Oscar Rodríguez; Jonas Rogger (J. Comput. Syst. Sci., 2017)

The One-Variable Fragment of Corsi Logic. - Xavier Caicedo; George Metcalfe; Ricardo Oscar Rodríguez; Olim Frits Tuyt (WoLLIC, 2019)

25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018). - Lawrence S. Moss; Maricarmen Martínez; Xavier Caicedo; Ruy J. G. B. de Queiroz (Log. J. IGPL, 2019)

One-variable fragments of intermediate logics over linear frames. - Xavier Caicedo; George Metcalfe; Ricardo Rodríguez; Olim Frits Tuyt (Inf. Comput., 2022)

Frame definability in finitely valued modal logics. - Guillermo Badia; Xavier Caicedo; Carles Noguera (Ann. Pure Appl. Log., 2023)

Maximality of Logic without Identity. - Guillermo Badia; Xavier Caicedo; Carles Noguera (J. Symb. Log., 2024)

Restricted analytic valued fields with partial exponentiation. - Leonardo Ángel; Xavier Caicedo (Arch. Math. Log., 2025)