most citedRobinson consistency in many-sorted hybrid first-order logics

2 citations · 2 across the 3 of their papers we have counts for

collaborators

3 papers

math.LO2024

Logical Characterizations of Weighted Complexity Classes

Guillermo Badia, Manfred Droste, Carles Noguera +1

Fagin's seminal result characterizing in terms of existential second-order logic started the fruitful field of descriptive complexity theory. In recent years, there h…

math.LO2022★ 2 cited

Robinson consistency in many-sorted hybrid first-order logics

Daniel Gaina, Guillermo Badia, Tomasz Kowalski

In this paper we prove a Robinson consistency theorem for a class of many-sorted hybrid logics as a consequence of an Omitting Types Theorem. An important corollary of this result…

math.LO2022

Frame definability in finitely-valued modal logics

Guillermo Badia, Xavier Caicedo, Carles Noguera

In this paper we study frame definability in finitely-valued modal logics and establish two main results via suitable translations: (1) in finitely-valued modal logics one cannot d…