Guillermo Badia

Available identifiers

zbMath Open badia.guillermoMaRDI QIDQ332083

List of research outcomes

Publication	Date of Publication	Type
Relevant consequence relations: an invitation	2024-11-14	Paper
MAXIMALITY OF LOGIC WITHOUT IDENTITY	2024-04-05	Paper
A modular bisimulation characterisation for fragments of hybrid logic	2023-12-22	Paper
A Lindström theorem for intuitionistic first-order logic	2023-09-21	Paper
Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’	2023-07-27	Paper
Asymptotic truth-value laws in many-valued logics	2023-06-24	Paper
Frame definability in finitely valued modal logics	2023-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q6041914	2023-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q5884957	2023-03-24	Paper
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols	2022-12-23	Paper
First-order friendliness	2022-10-25	Paper
Robinson consistency in many-sorted hybrid first-order logics	2022-08-18	Paper
Paraconsistent metatheory: new proofs with old tools	2022-07-15	Paper
Relevant Consequence Relations: An Invitation	2022-07-08	Paper
A parametrised axiomatization for a large number of restricted second-order logics	2022-07-06	Paper
New foundations of reasoning via real-valued first-order logics	2022-06-30	Paper
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?	2022-05-25	Paper
Craig interpolation theorem fails in bi-intuitionistic predicate logic	2022-04-30	Paper
Saturated models of first-order many-valued logics	2022-03-30	Paper
Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols	2022-03-09	Paper
Maximality of bi-intuitionistic propositional logic	2022-02-08	Paper
Lindström theorems in graded model theory	2021-01-25	Paper
A Lindström theorem in many-valued modal logic over a finite MTL-chain	2021-01-19	Paper
On elimination of quantifiers in some non‐classical mathematical theories	2020-05-11	Paper
A Lindström theorem for intuitionistic propositional logic	2020-05-04	Paper
INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC	2019-10-07	Paper
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic	2019-08-12	Paper
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity	2019-01-08	Paper
Variable Sharing in Substructural Logics: an Algebraic Characterization	2018-11-23	Paper
On elimination of quantifiers in some non-classical mathematical theories	2018-09-21	Paper
On Sahlqvist formulas in relevant logic	2018-09-05	Paper
On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions	2018-07-16	Paper
Fraïssé classes of graded relational structures	2018-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4639905	2018-05-14	Paper
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY	2018-01-17	Paper
Bi-simulating in bi-intuitionistic logic	2016-10-27	Paper
The relevant fragment of first order logic	2016-04-29	Paper
Logical Characterizations of Weighted Complexity Classes	N/A	Paper

Research outcomes over time

This page was built for person: Guillermo Badia