- A logic for best explanations
- Monoidal logics: completeness and classical systems
- n-valued maximal paraconsistent matrices
- Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values
- A family of metainferential logics
- Semantical analysis of weak Kleene logics
- Fuzzy intensional semantics
- MVW-rigs and product MV-algebras
- On Vidal’s trivalent explanations for defective conditional in mathematics
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss
- Doxastic logic: a new approach
- Arguing about constitutive and regulative norms
- Logic and argumentation
- Abduction in argumentation frameworks
- Continuous propositional modal logic
- On the measure of conflicts: an argumentation-based framework
- Beliefs supported by binary arguments
- Initial sets in abstract argumentation frameworks