Guillermo Badia

According to our database, Guillermo Badia authored at least 24 papers between 2016 and 2023.

Collaborative distances:

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

2023

A Lindström theorem for intuitionistic first-order logic.

Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard

Ann. Pure Appl. Log., December, 2023

Editorial: Special issue in honour of John Newsome Crossley.

Guillermo Badia

Log. J. IGPL, November, 2023

Frame definability in finitely valued modal logics.

Guillermo Badia, Xavier Caicedo, Carles Noguera

Ann. Pure Appl. Log., July, 2023

Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.

Daniel Gaina, Guillermo Badia, Tomasz Kowalski

Ann. Pure Appl. Log., 2023

2022

A 0-1 Law in Mathematical Fuzzy Logic.

Guillermo Badia, Carles Noguera

IEEE Trans. Fuzzy Syst., 2022

How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?

Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder

Rev. Symb. Log., 2022

Maximality of bi-intuitionistic propositional logic.

Grigory K. Olkhovikov, Guillermo Badia

J. Log. Comput., 2022

Paraconsistent Metatheory: New Proofs with Old Tools.

Guillermo Badia, Zach Weber, Patrick Girard

J. Philos. Log., 2022

Saturated models of first-order many-valued logics.

Guillermo Badia, Carles Noguera

Log. J. IGPL, 2022

Robinson consistency in many-sorted hybrid first-order logics.

Guillermo Badia, Tomasz Kowalski, Daniel Gaina

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

A General Omitting Types Theorem in Mathematical Fuzzy Logic.

Guillermo Badia, Carles Noguera

IEEE Trans. Fuzzy Syst., 2021

Lindström theorems in graded model theory.

Guillermo Badia, Carles Noguera

Ann. Pure Appl. Log., 2021

2020

A Lindström Theorem for Intuitionistic Propositional Logic.

Guillermo Badia, Grigory K. Olkhovikov

Notre Dame J. Formal Log., 2020

A Lindström theorem in many-valued modal logic over a finite MTL-chain.

Guillermo Badia, Grigory K. Olkhovikov

Fuzzy Sets Syst., 2020

2019

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.

Guillermo Badia, Vicent Costa, Pilar Dellunde, Carles Noguera

Soft Comput., 2019

2018

Fraïssé classes of graded relational structures.

Guillermo Badia, Carles Noguera

Theor. Comput. Sci., 2018

On elimination of quantifiers in some non-classical mathematical theories.

Guillermo Badia, Andrew Tedder

Math. Log. Q., 2018

On Sahlqvist Formulas in Relevant Logic.

Guillermo Badia

J. Philos. Log., 2018

Saturated Models in Mathematical Fuzzy Logic.

Guillermo Badia, Carles Noguera

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017

Infinitary Propositional Relevant Languages with Absurdity.

Guillermo Badia

Rev. Symb. Log., 2017

Model Definability in Relevant Logic.

Guillermo Badia

FLAP, 2017

2016

Bi-Simulating in Bi-Intuitionistic Logic.

Guillermo Badia

Stud Logica, 2016

The Relevant Fragment of First order Logic.

Guillermo Badia

Rev. Symb. Log., 2016

A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.

Guillermo Badia

Log. J. IGPL, 2016