- Non-commutative propositional logic with short-circuit evaluation
- Infectious and transparent emotivism
- Formal explanations as logical derivations
- Most-intersection of countable sets
- On the modal interpretation of the connective of realisation
- Substitution inconsistencies in Transparent Intensional Logic
- Copy and remove as dynamic operators
- Natural implicative expansions of variants of Kleene’s strong 3-valued logic with Gödel-type and dual Gödel-type negation
- Two pretabular linear extensions of relevance logic R
- Measuring inconsistency in some branching time logics
- A note on the complexity of S4.2
- A family of genuine and non-algebraisable C-systems