default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuillermo Badia
Person information
- affiliation: University of Queensland, Australia
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j26]Guillermo Badia
, Xavier Caicedo, Carles Noguera:
Maximality of Logic without Identity. J. Symb. Log. 89(1): 147-162 (2024)- [j25]Guillermo Badia, John L. Bell:
A parametrized axiomatization for a large number of restricted second-order logics. J. Log. Comput. 34(7): 1295-1304 (2024) - [j24]Grigory K. Olkhovikov, Guillermo Badia:
Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic. Rev. Symb. Log. 17(2): 611-633 (2024) - [j23]Guillermo Badia, Libor Behounek, Petr Cintula, Andrew Tedder:
Relevant Consequence Relations: an Invitation. Rev. Symb. Log. 17(3): 762-792 (2024) - [c4]Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul:
Logical Characterizations of Weighted Complexity Classes. MFCS 2024: 14:1-14:16 - [c3]Guillermo Badia, Carles Noguera, Alberto Paparella, Guido Sciavicco, Ionel Eduard Stan:
Fitting's Style Many-Valued Interval Temporal Logic Tableau System: Theory and Implementation. TIME 2024: 7:1-7:16 - [i1]Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski, Martin Wirsing:
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR abs/2406.02094 (2024) - 2023
- [j22]Daniel Gaina, Guillermo Badia, Tomasz Kowalski:
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols. Ann. Pure Appl. Log. 174(3): 103212 (2023) - [j21]Guillermo Badia, Xavier Caicedo, Carles Noguera:
Frame definability in finitely valued modal logics. Ann. Pure Appl. Log. 174(7): 103273 (2023) - [j20]Grigory K. Olkhovikov, Guillermo Badia, Reihane Zoghifard:
A Lindström theorem for intuitionistic first-order logic. Ann. Pure Appl. Log. 174(10): 103346 (2023) - [j19]Guillermo Badia:
Editorial: Special issue in honour of John Newsome Crossley. Log. J. IGPL 31(6): 1005-1009 (2023) - 2022
- [j18]Guillermo Badia, Carles Noguera:
Saturated models of first-order many-valued logics. Log. J. IGPL 30(1): 1-20 (2022) - [j17]Guillermo Badia, Zach Weber, Patrick Girard:
Paraconsistent Metatheory: New Proofs with Old Tools. J. Philos. Log. 51(4): 825-856 (2022) - [j16]Grigory K. Olkhovikov, Guillermo Badia:
Maximality of bi-intuitionistic propositional logic. J. Log. Comput. 32(1): 1-31 (2022) - [j15]Guillermo Badia, Petr Cintula, Petr Hájek, Andrew Tedder:
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? Rev. Symb. Log. 15(2): 487-504 (2022) - [j14]Guillermo Badia, Carles Noguera:
A 0-1 Law in Mathematical Fuzzy Logic. IEEE Trans. Fuzzy Syst. 30(9): 3833-3840 (2022) - [c2]Guillermo Badia, Tomasz Kowalski, Daniel Gaina:
Robinson consistency in many-sorted hybrid first-order logics. AiML 2022: 407-428 - 2021
- [j13]Guillermo Badia, Carles Noguera:
Lindström theorems in graded model theory. Ann. Pure Appl. Log. 172(3): 102916 (2021) - [j12]Guillermo Badia, Carles Noguera:
A General Omitting Types Theorem in Mathematical Fuzzy Logic. IEEE Trans. Fuzzy Syst. 29(6): 1386-1394 (2021) - 2020
- [j11]Guillermo Badia, Grigory K. Olkhovikov:
A Lindström theorem in many-valued modal logic over a finite MTL-chain. Fuzzy Sets Syst. 388: 26-37 (2020) - [j10]Guillermo Badia, Grigory K. Olkhovikov:
A Lindström Theorem for Intuitionistic Propositional Logic. Notre Dame J. Formal Log. 61(1): 11-30 (2020)
2010 – 2019
- 2019
- [j9]Guillermo Badia, Vicent Costa, Pilar Dellunde, Carles Noguera:
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. Soft Comput. 23(7): 2177-2186 (2019) - 2018
- [j8]Guillermo Badia:
On Sahlqvist Formulas in Relevant Logic. J. Philos. Log. 47(4): 673-691 (2018) - [j7]Guillermo Badia, Andrew Tedder:
On elimination of quantifiers in some non-classical mathematical theories. Math. Log. Q. 64(3): 140-154 (2018) - [j6]Guillermo Badia, Carles Noguera:
Fraïssé classes of graded relational structures. Theor. Comput. Sci. 737: 81-90 (2018) - [c1]Guillermo Badia, Carles Noguera:
Saturated Models in Mathematical Fuzzy Logic. ISMVL 2018: 150-155 - 2017
- [j5]Guillermo Badia:
Model Definability in Relevant Logic. FLAP 4(3) (2017) - [j4]Guillermo Badia:
Infinitary Propositional Relevant Languages with Absurdity. Rev. Symb. Log. 10(4): 663-681 (2017) - 2016
- [j3]Guillermo Badia:
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity. Log. J. IGPL 24(2): 115-137 (2016) - [j2]Guillermo Badia:
The Relevant Fragment of First order Logic. Rev. Symb. Log. 9(1): 143-166 (2016) - [j1]Guillermo Badia:
Bi-Simulating in Bi-Intuitionistic Logic. Stud Logica 104(5): 1037-1050 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 01:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
