- Metainferential duality
- A basic quasi-Boolean logic of intuitionistic character
- Algebraic semantics for propositional superposition logic
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- A logic of negative trust
- Structural proof theory for first-order weak Kleene logics
- On searching explanatory argumentation graphs
- Exactly true and non-falsity logics meeting infectious ones
- The logic of modal changes LMC
- Modal translation of substructural logics
- Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
- Axiomatization of non-associative generalisations of Hájek’s BL and psBL
- Axiomatization of non-associative generalisations of Hájek’s BL and psBL
- On recent applications of paraconsistent logic: an exploratory literature review
- Polynomial semantics for modal logics