Xavier Caicedo

According to our database, Xavier Caicedo authored at least 23 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Frame definability in finitely valued modal logics.

Guillermo Badia, Xavier Caicedo, Carles Noguera

Ann. Pure Appl. Log., July, 2023

2022

One-variable fragments of intermediate logics over linear frames.

Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt

Inf. Comput., 2022

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

The One-Variable Fragment of Corsi Logic.

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

Decidability of order-based modal logics.

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger

J. Comput. Syst. Sci., 2017

2015

Bi-modal Gödel logic over [0, 1]-valued Kripke frames.

Xavier Caicedo, Ricardo Oscar Rodríguez

J. Log. Comput., 2015

Lindström's Theorem for Positive Logics, a Topological View.

Xavier Caicedo

Proceedings of the Logic Without Borders, 2015

2014

Omitting uncountable types and the strength of [0, 1]-valued logics.

Xavier Caicedo, José Iovino

Ann. Pure Appl. Log., 2014

2013

A Finite Model Property for Gödel Modal Logics.

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger

Proceedings of the Logic, Language, Information, and Computation, 2013

2011

Bi-modal Gödel logic over [0,1]-valued Kripke frames

Xavier Caicedo, Ricardo Oscar Rodríguez

CoRR, 2011

2010

Standard Gödel Modal Logics.

Xavier Caicedo, Ricardo Oscar Rodríguez

Stud Logica, 2010

2009

Equivalence and quantifier rules for logic with imperfect information.

Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen

Log. J. IGPL, 2009

2006

Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic.

Xavier Caicedo

Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2004

Implicit connectives of algebraizable logics.

Xavier Caicedo

Stud Logica, 2004

Definability and automorphisms in abstract logics.

Xavier Caicedo

Arch. Math. Log., 2004

2001

An Algebraic Approach to Intuitionistic Connectives.

Xavier Caicedo, Roberto Cignoli

J. Symb. Log., 2001

1998

Syntactical Content of Finite Approximations of Partial Algebras.

Wiktor Bartol, Xavier Caicedo, Francesc Rosselló

Proceedings of the Rough Sets and Current Trends in Computing, 1998

1993

Compactness and Normality in Abstract Logics.

Xavier Caicedo

Ann. Pure Appl. Log., 1993

1990

Definability properties and the congruence closure.

Xavier Caicedo

Arch. Math. Log., 1990

1986

A Simple Solution to Friedman's Fourth Problem.

Xavier Caicedo

J. Symb. Log., 1986

1984

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

1983

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

1981

On extensions of L_ωω(Q₁₎.

Xavier Caicedo

Notre Dame J. Formal Log., 1981