|
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 |
|
2025 Other Outputs Codd's Theorem for Databases over SemiringsBadia, Guillermo, Kolaitis, Phokion G. and Noguera, Carles (2025). Codd's Theorem for Databases over Semirings. |
|
2025 Book What is mathematical logic?Badia, Guillermo, Crossley, John and Stillwell, John (2025). What is mathematical logic?. 2nd ed. Oxford, United Kingdom: Oxford University Press. |
|
2025 Conference Publication Many-Expert Decision TreesBadia, Guillermo, Noguera, Carles, Paparella, Alberto and Sciavicco, Guido (2025). Many-Expert Decision Trees. CEUR-WS. |
|
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 |
|
2024 Conference Publication AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023Badia, Guillermo and Rubin, Sasha (2024). AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023. Cambridge University Press. doi: 10.1017/bsl.2024.44 |
|
2024 Conference Publication Logical characterizations of weighted complexity classesBadia, Guillermo, Droste, Manfred, Noguera, Carles and Paul, Erik (2024). Logical characterizations of weighted complexity classes. Mathematical Foundations of Computer Science (MFCS 2024), Bratislava, Slovakia, 26-30 August 2024. Schloss Dagstuhl, Germany: Leibniz Center for Informatics. doi: 10.4230/LIPIcs.MFCS.2024.14 |
|
2024 Other Outputs Logical Characterizations of Weighted Complexity ClassesBadia, Guillermo, Droste, Manfred, Noguera, Carles and Paul, Erik (2024). Logical Characterizations of Weighted Complexity Classes. |
|
2024 Conference Publication Fitting's style many-valued interval temporal logic tableau system: theory and implementationBadia, Guillermo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido and Stan, Eduard I. (2024). Fitting's style many-valued interval temporal logic tableau system: theory and implementation. 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28–30 October 2024. Wadern, Germany: Schloss Dagstuhl. doi: 10.4230/LIPIcs.TIME.2024.7 |
|
2024 Other Outputs Hybrid-Dynamic Ehrenfeucht-Fraïssé GamesBadia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2024). Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. |
|
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 |
