|
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 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. |
|
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. |
