|
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 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 |
|
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), 1-16. doi: 10.1017/jsl.2023.2 |
|
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 |
|
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. |
|
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. |
|
2024 Other Outputs A modular bisimulation characterisation for fragments of hybrid logicBadia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2024). A modular bisimulation characterisation for fragments of hybrid logic. |
|
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 A parametrised axiomatization for a large number of restricted second-order logicsBadia, Guillermo and Bell, John Lane (2023). A parametrised axiomatization for a large number of restricted second-order logics. Journal of Logic and Computation. doi: 10.1093/logcom/exad050 |
|
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 Relevant Consequence Relations: An InvitationBadia, Guillermo, Behounek, Libor, Cintula, Petr and Tedder, Andrew (2023). Relevant Consequence Relations: An Invitation. The Review of Symbolic Logic, 1-24. doi: 10.1017/s1755020323000205 |
|
2023 Journal Article First-order friendlinessBadia, Guillermo and Makinson, David (2023). First-order friendliness. Review of Symbolic Logic, 1-13. doi: 10.1017/S175502032300014X |
|
2023 Journal Article Asymptotic truth-value laws in many-valued logicsBadia, Guillermo, Caicedo, Xavier and Noguera, Carles (2023). Asymptotic truth-value laws in many-valued logics. |
|
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 Other Outputs New foundations of reasoning via real-valued first-order logicsBadia, Guillermo, Fagin, Ronald and Noguera, Carles (2022). New foundations of reasoning via real-valued first-order logics. |
|
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 Conference Publication Robinson consistency in many-sorted hybrid first-order logicsGaina, Daniel, Badia, Guillermo and Kowalski, Tomasz (2022). Robinson consistency in many-sorted hybrid first-order logics. 2022 Advances in Modal Logic (AiML), Rennes, France, 22-25 August 2022. London, United Kingdom: College Publications. |
