Guillermo Badia

47 papers B 2C 1Journal 41Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Descriptive complexity and weighted Turing machines.
Inf. Comput.
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
2025 J jnl
A Modular Bisimulation characterisation for Fragments of Hybrid Logic.
Bull. Symb. Log.
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025 J jnl
Asymptotic Truth-Value Laws in Many-Valued Logics.
J. Symb. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2025 J jnl
Codd's Theorem for Databases over Semirings.
CoRR
Guillermo Badia, Phokion G. Kolaitis, Carles Noguera
2025 J jnl
Codd's Theorem for Databases over Semirings.
Proc. ACM Manag. Data
Guillermo Badia, Phokion G. Kolaitis, Carles Noguera
2025 J jnl
Editorial: special issue on the Australasian Logic Colloquium 2023.
J. Log. Comput.
Guillermo Badia, Sasha Rubin
2025 J jnl
Fagin's Theorem for Semiring Turing Machines.
CoRR
Guillermo Badia, Manfred Droste, Thomas Eiter, Rafael Kiesel, Carles Noguera, Erik Paul
2025 — conf
Generating and counting finite FLew-chains.
FUZZ
Guillermo Badia, Riccardo Monego, Carles Noguera, Alberto Paparella, Guido Sciavicco
2025 J jnl
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.
ACM Trans. Comput. Log.
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2025 J jnl
New Foundations of Reasoning via Real-Valued First-order Logics.
Bull. Symb. Log.
Guillermo Badia, Ronald Fagin, Carles Noguera
2025 J jnl
Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081).
Dagstuhl Reports
Guillermo Badia, Manfred Droste, Phokion G. Kolaitis, Carles Noguera, Sophie Brinke, Lovro Mrkonjic, Gaia Petreni
2024 J jnl
A parametrized axiomatization for a large number of restricted second-order logics.
J. Log. Comput.
Guillermo Badia, John L. Bell
2024 J jnl
Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic.
Rev. Symb. Log.
Grigory K. Olkhovikov, Guillermo Badia
2024 J jnl
First-order Friendliness.
Rev. Symb. Log.
Guillermo Badia, David Makinson
2024 C conf
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation.
TIME
Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan
2024 J jnl
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.
CoRR
Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing
2024 B conf
Logical Characterizations of Weighted Complexity Classes.
MFCS
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
2024 — conf
Many-Expert Decision Trees.
OVERLAY
Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco
2024 J jnl
Maximality of Logic without Identity.
J. Symb. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2024 J jnl
Relevant Consequence Relations: an Invitation.
Rev. Symb. Log.
Guillermo Badia, Libor Behounek, Petr Cintula, Andrew Tedder
2023 J jnl
A Lindström theorem for intuitionistic first-order logic.
Ann. Pure Appl. Log.
Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard
2023 J jnl
Editorial: Special issue in honour of John Newsome Crossley.
Log. J. IGPL
Guillermo Badia
2023 J jnl
Frame definability in finitely valued modal logics.
Ann. Pure Appl. Log.
Guillermo Badia, Xavier Caicedo, Carles Noguera
2023 J jnl
Introduction to the special issue 'Valerie Plumwood's contributions to Logic'.
Australas. J. Log.
Andrew Tedder, Guillermo Badia
2023 J jnl
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.
Ann. Pure Appl. Log.
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
2022 J jnl
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Trans. Fuzzy Syst.
Guillermo Badia, Carles Noguera
2022 J jnl
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?
Rev. Symb. Log.
Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder
2022 J jnl
Maximality of bi-intuitionistic propositional logic.
J. Log. Comput.
Grigory K. Olkhovikov, Guillermo Badia
2022 J jnl
Paraconsistent Metatheory: New Proofs with Old Tools.
J. Philos. Log.
Guillermo Badia, Zach Weber, Patrick Girard
2022 B conf
Robinson consistency in many-sorted hybrid first-order logics.
AiML
Guillermo Badia, Tomasz Kowalski, Daniel Gaina
2022 J jnl
Saturated models of first-order many-valued logics.
Log. J. IGPL
Guillermo Badia, Carles Noguera
2021 J jnl
A General Omitting Types Theorem in Mathematical Fuzzy Logic.
IEEE Trans. Fuzzy Syst.
Guillermo Badia, Carles Noguera
2021 J jnl
Lindström theorems in graded model theory.
Ann. Pure Appl. Log.
Guillermo Badia, Carles Noguera
2020 J jnl
A Lindström Theorem for Intuitionistic Propositional Logic.
Notre Dame J. Formal Log.
Guillermo Badia, Grigory K. Olkhovikov
2020 J jnl
A Lindström theorem in many-valued modal logic over a finite MTL-chain.
Fuzzy Sets Syst.
Guillermo Badia, Grigory K. Olkhovikov
2019 J jnl
Incompactness of the A1 Fragment of Basic second order Propositional Relevant Logic.
Australas. J. Log.
Guillermo Badia
2019 J jnl
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.
Soft Comput.
Guillermo Badia, Vicent Costa, Pilar Dellunde, Carles Noguera
2018 J jnl
Fraïssé classes of graded relational structures.
Theor. Comput. Sci.
Guillermo Badia, Carles Noguera
2018 J jnl
On Sahlqvist Formulas in Relevant Logic.
J. Philos. Log.
Guillermo Badia
2018 J jnl
On elimination of quantifiers in some non-classical mathematical theories.
Math. Log. Q.
Guillermo Badia, Andrew Tedder
2018 — conf
Saturated Models in Mathematical Fuzzy Logic.
ISMVL
Guillermo Badia, Carles Noguera
2017 J jnl
A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics.
Australas. J. Log.
Guillermo Badia
2017 J jnl
Infinitary Propositional Relevant Languages with Absurdity.
Rev. Symb. Log.
Guillermo Badia
2017 J jnl
Model Definability in Relevant Logic.
FLAP
Guillermo Badia
2016 J jnl
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.
Log. J. IGPL
Guillermo Badia
2016 J jnl
Bi-Simulating in Bi-Intuitionistic Logic.
Stud Logica
Guillermo Badia
2016 J jnl
The Relevant Fragment of First order Logic.
Rev. Symb. Log.
Guillermo Badia