- 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
- A game-theoretic analysis on the use of indirect speech acts
- An independent axiomatisation for free short-circuit logic
- Frames for fusions of modal logics
- Bi-intuitionistic implication structures
- Temporal abductive reasoning about biochemical reactions
- A note on Barcan formula
- A multimodal logic for closeness
- On the relation between possibilistic logic and modal logics of belief and knowledge
- Mixed algebras and their logics
- A short biography of Luis Fariñas del Cerro
- Stable reasoning
- Foundations for a logic of arguments
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- KD is nullary
- Society semantics and the logic way to collective intelligence
- Temporal Equilibrium Logic with past operators
- Assertive graphs
- A mereotopology based on sequent algebras
- Reasoning about trust and aboutness in the context of communication
- From KLM-style conditionals to defeasible modalities, and back
- Truth without standard models: some conceptual problems reloaded
- Judgement aggregation in non-classical logics
- Trust and agency in the context of communication