1

Preservation by fibring of the finite model property

E-Article
2

Combining Soft Linear Logic and Spatio-temporal Operators

E-Article
3

Embedding-based approaches to paraconsistent and temporal description logics

E-Article
4

Trilattice logic: an embedding-based approach

E-Article
5

On meet-combination of logics

E-Article
6
7

Strong normalization in some temporal substructural logics

E-Article
8

Linear Logics with Communication-merge

E-Article
9

Relevance Principle for Substructural Logics with Mingle and Strong Negation

E-Article
10

Preservation of Interpolation Features by Fibring

E-Article
11
12

A Graph-theoretic Account of Logics

E-Article
13

On Graph-theoretic Fibring of Logics

E-Article
14

Intuitionistic Trilattice Logics

E-Article