4 citations · 12 across the 19 of their papers we have counts for
10 papers · 1 filter
First-order friendliness
Guillermo Badia, David Clement Makinson
In this note we study a counterpart in predicate logic of the notion of 'logical friendliness', introduced into propositional logic in Makinson (2007). The result is a new conseque…
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…
Relevant Consequence Relations: An Invitation
Guillermo Badia, Petr Cintula, Libor Behounek +1
We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion},…
A parametrised axiomatization for a large number of restricted second-order logics
Guillermo Badia, John Lane Bell
By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable su…
New foundations of reasoning via real-valued first-order logics
Guillermo Badia, Ronald Fagin, Carles Noguera
Many-valued logics in general, and fuzzy logics in particular, usually focus on a notion of consequence based on preservation of full truth, typical represented by the value 1 in t…
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…
Craig interpolation theorem fails in bi-intuitionistic predicate logic
Grigory K. Olkhovikov, Guillermo Badia
In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urqu…
Axiomatization via translation: Hiz's warning for predicate logic
Guillermo Badia, John N. Crossley, Lloyd Humberstone
The problems of logical translation of axiomatizations and the choice of primitive operators have surfaced several times over the years. An early issue was raised by H. Hi{\. z} in…
Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols
Daniel Gaina, Guillermo Badia, Tomasz Kowalski
In the the present contribution, we prove an Omitting Types Theorem (OTT) for an arbitrary fragment of hybriddynamic first-order logic with rigid symbols (i.e. symbols with fixed i…
Maximality of logic without identity
Guillermo Badia, Xavier Caicedo, Carles Noguera
Lindström theorem obviously fails as a characterization of , first-order logic without identity. In this note we provide a fix: we show that $\mathcal{L}_{ωω…