- Measuring inconsistency in some branching time logics
- A note on the complexity of S4.2
- A family of genuine and non-algebraisable C-systems
- Grounding rules for (relevant) implication
- Epistemic space of degradation processes
- Logics of variable inclusion and the lattice of consequence relations
- 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