Xavier Caicedo

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 6

Top Topics

Automata Theoretic

Decision Procedures

Top Venues

Ann. Pure Appl. Log.

J. Comput. Syst. Sci.

J. Log. Comput.

Publications

Guillermo Badia, Xavier Caicedo, Carles Noguera
Maximality of Logic without Identity. J. Symb. Log. 89 (1) (2024)
Guillermo Badia, Xavier Caicedo, Carles Noguera
Frame definability in finitely valued modal logics. Ann. Pure Appl. Log. 174 (7) (2023)
Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt
One-variable fragments of intermediate logics over linear frames. Inf. Comput. 287 (2022)
Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018). Log. J. IGPL 27 (5) (2019)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Tuyt
The One-Variable Fragment of Corsi Logic. WoLLIC (2019)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
Decidability of order-based modal logics. J. Comput. Syst. Sci. 88 (2017)
Xavier Caicedo, Ricardo Oscar Rodríguez
Bi-modal Gödel logic over [0, 1]-valued Kripke frames. J. Log. Comput. 25 (1) (2015)
Xavier Caicedo, José Iovino
Omitting uncountable types and the strength of [0, 1]-valued logics. Ann. Pure Appl. Log. 165 (6) (2014)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
A Finite Model Property for Gödel Modal Logics. TACL (2013)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
A Finite Model Property for Gödel Modal Logics. WoLLIC (2013)
Xavier Caicedo, Ricardo Oscar Rodríguez
Bi-modal Gödel logic over [0,1]-valued Kripke frames CoRR (2011)
Xavier Caicedo, Ricardo Oscar Rodríguez
Standard Gödel Modal Logics. Stud Logica 94 (2) (2010)
Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen
Equivalence and quantifier rules for logic with imperfect information. Log. J. IGPL 17 (1) (2009)
Xavier Caicedo
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Xavier Caicedo
Definability and automorphisms in abstract logics. Arch. Math. Log. 43 (8) (2004)
Xavier Caicedo
Implicit connectives of algebraizable logics. Stud Logica 78 (1-2) (2004)
Xavier Caicedo, Roberto Cignoli
An Algebraic Approach to Intuitionistic Connectives. J. Symb. Log. 66 (4) (2001)
Wiktor Bartol, Xavier Caicedo, Francesc Rosselló
Syntactical Content of Finite Approximations of Partial Algebras. Rough Sets and Current Trends in Computing (1998)
Xavier Caicedo
Compactness and Normality in Abstract Logics. Ann. Pure Appl. Log. 59 (1) (1993)
Xavier Caicedo
Definability properties and the congruence closure. Arch. Math. Log. 30 (4) (1990)
Xavier Caicedo
A Simple Solution to Friedman's Fourth Problem. J. Symb. Log. 51 (3) (1986)
Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. J. Symb. Log. 49 (4) (1984)
Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa
Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. J. Symb. Log. 48 (3) (1983)
Xavier Caicedo
. Notre Dame J. Formal Log. 22 (1) (1981)