|
2025 Journal Article New foundations of reasoning via real-valued first-order logicsBadia, Guillermo, Fagin, Ronald and Noguera, Carles (2025). New foundations of reasoning via real-valued first-order logics. The Bulletin of Symbolic Logic. doi: 10.1017/bsl.2024.56 |
|
2025 Journal Article Asymptotic truth-value laws in many-valued logicsBadia, Guillermo, Caicedo, Xavier and Noguera, Carles (2025). Asymptotic truth-value laws in many-valued logics. The Journal of Symbolic Logic, 1-23. doi: 10.1017/jsl.2024.46 |
|
2025 Journal Article A modular bisimulation characterisation for fragments of hybrid logicBadia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2025). A modular bisimulation characterisation for fragments of hybrid logic. The Bulletin of Symbolic Logic, 1-24. doi: 10.1017/bsl.2025.9 |
|
2023 Journal Article Frame definability in finitely-valued modal logicsBadia, Guillermo, Caicedo, Xavier and Noguera, Carles (2023). Frame definability in finitely-valued modal logics. Annals of Pure and Applied Logic, 174 (7) 103273, 103273. doi: 10.1016/j.apal.2023.103273 |
|
2023 Journal Article Maximality of logic without identityBadia, Guillermo, Caicedo, Xavier and Noguera, Carles (2023). Maximality of logic without identity. The Journal of Symbolic Logic, 89 (1) PII S0022481223000026, 1-16. doi: 10.1017/jsl.2023.2 |
|
2024 Journal Article First-order friendlinessBadia, Guillermo and Makinson, David (2024). First-order friendliness. Review of Symbolic Logic, 17 (4), 1055-1069. doi: 10.1017/S175502032300014X |
|
2024 Journal Article A parametrised axiomatization for a large number of restricted second-order logicsBadia, Guillermo and Bell, John Lane (2024). A parametrised axiomatization for a large number of restricted second-order logics. Journal of Logic and Computation, 34 (7), 1295-1304. doi: 10.1093/logcom/exad050 |
|
2024 Journal Article Relevant Consequence Relations: An InvitationBadia, Guillermo, Behounek, Libor, Cintula, Petr and Tedder, Andrew (2024). Relevant Consequence Relations: An Invitation. The Review of Symbolic Logic, 17 (3) PII S1755020323000205, 762-792. doi: 10.1017/s1755020323000205 |
|
2023 Journal Article A Lindström theorem for intuitionistic first-order logicOlkhovikov, Grigory, Badia, Guillermo and Zoghifard, Reihane (2023). A Lindström theorem for intuitionistic first-order logic. Annals of Pure and Applied Logic, 174 (10) 103346, 103346. doi: 10.1016/j.apal.2023.103346 |
|
2023 Journal Article Editorial: Special issue in honour of John Newsome CrossleyBadia, Guillermo (2023). Editorial: Special issue in honour of John Newsome Crossley. Interest Group in Pure and Applied Logics. Logic Journal, 31 (6), 1-5. doi: 10.1093/jigpal/jzad011 |
|
2023 Journal Article Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’Tedder, Andrew and Badia, Guillermo (2023). Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’. The Australasian Journal of Logic, 20 (2), 95-96. doi: 10.26686/ajl.v29i2.8281 |
|
2023 Journal Article Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbolsGaina, Daniel, Badia, Guillermo and Kowalski, Tomasz (2023). Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols. Annals of Pure and Applied Logic, 174 (3) 103212, 1-41. doi: 10.1016/j.apal.2022.103212 |
|
2022 Journal Article Craig Interpolation fails in Bi-Intuitionistic Predicate LogicOlkhovikov, Grigory and Badia, Guillermo (2022). Craig Interpolation fails in Bi-Intuitionistic Predicate Logic. Review of Symbolic Logic, 17 (2) PII S1755020322000296, 1-23. doi: 10.1017/S1755020322000296 |
|
2022 Journal Article Paraconsistent metatheory: new proofs with old toolsBadia, Guillermo, Weber, Zach and Girard, Patrick (2022). Paraconsistent metatheory: new proofs with old tools. Journal of Philosophical Logic, 51 (4), 825-856. doi: 10.1007/s10992-022-09651-x |
|
2022 Journal Article Axiomatization via translation: Hiz's warning for predicate logicBadia, Guillermo, Crossley, John and Humberstone, Lloyd (2022). Axiomatization via translation: Hiz's warning for predicate logic. Logique et Analyse, 257 (257), 39-56. doi: 10.2143/LEA.257.0.3291070 |
|
2021 Journal Article A 0-1 law in mathematical fuzzy logicBadia, Guillermo and Noguera, Carles (2021). A 0-1 law in mathematical fuzzy logic. IEEE Transactions on Fuzzy Systems, 30 (9), 1-1. doi: 10.1109/TFUZZ.2021.3131200 |
|
2021 Journal Article The performance of social responsible investing from retail investors' perspective: international evidenceBadía, Guillermo, Ferruz, Luis and Cortez, Maria Céu (2021). The performance of social responsible investing from retail investors' perspective: international evidence. International Journal of Finance and Economics, 26 (4), 6074-6088. doi: 10.1002/ijfe.2109 |
|
2021 Journal Article Maximality of bi-intuitionistic propositional logicOlkhovikov, Grigory and Badia, Guillermo (2021). Maximality of bi-intuitionistic propositional logic. Journal of Logic and Computation, 32 (1) exab058, 1-31. doi: 10.1093/logcom/exab058 |
|
2021 Journal Article A general omitting types theorem in mathematical fuzzy logicBadia, Guillermo and Noguera, Carles (2021). A general omitting types theorem in mathematical fuzzy logic. IEEE Transactions on Fuzzy Systems, 29 (6) 9003263, 1386-1394. doi: 10.1109/TFUZZ.2020.2975146 |
|
2021 Journal Article Lindström theorems in graded model theoryBadia, Guillermo and Noguera, Carles (2021). Lindström theorems in graded model theory. Annals of Pure and Applied Logic, 172 (3) 102916, 102916. doi: 10.1016/j.apal.2020.102916 |
