Xavier Caicedo

According to our database1, Xavier Caicedo authored at least 24 papers between 1981 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Maximality of Logic without Identity.
J. Symb. Log., 2024

2023
Frame definability in finitely valued modal logics.
Ann. Pure Appl. Log., July, 2023

2022
One-variable fragments of intermediate logics over linear frames.
Inf. Comput., 2022

2019
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).
Log. J. IGPL, 2019

The One-Variable Fragment of Corsi Logic.
Proceedings of the Logic, Language, Information, and Computation, 2019

2017
Decidability of order-based modal logics.
J. Comput. Syst. Sci., 2017

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

Lindström's Theorem for Positive Logics, a Topological View.
Proceedings of the Logic Without Borders, 2015

2014
Omitting uncountable types and the strength of [0, 1]-valued logics.
Ann. Pure Appl. Log., 2014

2013
A Finite Model Property for Gödel Modal Logics.
Proceedings of the Logic, Language, Information, and Computation, 2013

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

2010
Standard Gödel Modal Logics.
Stud Logica, 2010

2009
Equivalence and quantifier rules for logic with imperfect information.
Log. J. IGPL, 2009

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

2004
Implicit connectives of algebraizable logics.
Stud Logica, 2004

Definability and automorphisms in abstract logics.
Arch. Math. Log., 2004

2001
An Algebraic Approach to Intuitionistic Connectives.
J. Symb. Log., 2001

1998
Syntactical Content of Finite Approximations of Partial Algebras.
Proceedings of the Rough Sets and Current Trends in Computing, 1998

1993
Compactness and Normality in Abstract Logics.
Ann. Pure Appl. Log., 1993

1990
Definability properties and the congruence closure.
Arch. Math. Log., 1990

1986
A Simple Solution to Friedman's Fourth Problem.
J. Symb. Log., 1986

1984
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983.
J. Symb. Log., 1984

1983
Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981.
J. Symb. Log., 1983

1981
On extensions of L<sub>ωω</sub>(Q<sub>1)</sub>.
Notre Dame J. Formal Log., 1981


  Loading...