Hyperstates on Involutive Bipartite MTL-algebras: A Preliminary Investigation
Unification and Admissibility in Region-based Modal Logics of Space
About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear
Proving Decidability Via a yntactic Proof Calculus. The Logic of Bunched Implication
A Quantale Interpretation of Dynamic Logic
Relational and Algebraic Semantics of Many-Valued Modal Logic
Matthew effects Via Dependence and Independence Logic
Explanations on Density Elimination for Semi-linear Substructural Logics
Generalizing Gentzen's calculi
Information, Belief, Knowledge: Epistemic Logic Based on Information States Semantics
Algebraic Semantics for Hybrid Logics.