2 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
Definable Classes of Models and Frames in Bi-intuitionistic Logic
Guillermo Badia, Tomasz Kowalski, Grigory Olkhovikov
The question of the expressive power of a given logical language with Kripke relational semantics has at least two dimensions: (1) what the language can say about frames, and (2) w…
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…
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…
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…