|
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, 1-26. 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 Journal Article Hybrid-dynamic Ehrenfeucht-Fraïssé gamesBadia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2025). Hybrid-dynamic Ehrenfeucht-Fraïssé games. ACM Transactions on Computational Logic, 26 (4) 22, 1-25. doi: 10.1145/3750046 |
|
2025 Other Outputs Fagin's theorem for semiring Turing machinesBadia, Guillermo, Droste, Manfred, Eiter, Thomas, Kiesel, Rafael, Noguera, Carles and Paul, Erik (2025). Fagin's theorem for semiring Turing machines. doi: 10.48550/arXiv.2507.18375 |
|
2025 Conference Publication Generating and counting finite FL<sub>ew</sub>-chainsBadia, Guillermo, Monego, Riccardo, Noguera, Carles, Paparella, Alberto and Sciavicco, Guido (2025). Generating and counting finite FLew-chains. IEEE. doi: 10.1109/fuzz62266.2025.11152214 |
|
2025 Conference Publication Definable classes of models and frames in bi-intuitionistic logicBadia, Guillermo, Kowalski, Tomasz and Olkhovikov, Grigory (2025). Definable classes of models and frames in bi-intuitionistic logic. 2nd Third Workshop, Edmonton, Canada, 13-14 May 2024. London, United Kingdom: College Publications. |
|
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, Stillwell, John, Ash, Christopher J., Brickhill, Christopher J. and Williams, Neil H. (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. 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Bolzano, Italy, 28-29 November 2024. Aachen, Germany: Technical University of Aachen. |
|
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. doi: 10.48550/arXiv.2406.02094 |
