- On recent applications of paraconsistent logic: an exploratory literature review
- Polynomial semantics for modal logics
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Modelling last-act attempted crime in criminal law
- Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix II. Only one designated value
- Two proofs of the algebraic completeness theorem for multilattice logic
- Subordination Tarski algebras
- Indefinite abductive explanations
- 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