Semi-implication and matrices (abstract)

Yoneda’s embedding and Post-completeness (abstract)

On the characterization of broadly truth-functional logics (abstract)

On non-deterministic fuzzy negations (abstract)

Non truth-functional bivalent logics extending classical bivalent logics (abstract)

A survey on Suszko’s Thesis and its formal developments (abstract)

Effective first-order reasoning about incomplete and inconsistent information (abstract)

Separating truth and proof in the Logic of Proofs (abstract)

VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)

From display logic to nested sequents via residuated frames (abstract)

First-order non-classical logics: an order-based approach (abstract)

Broadly truth-functional logics through classical lenses (abstract)

Natural deduction for non-deterministic finite-valued logics (abstract)

The procedural understanding of meaning and compositionality in formal semantics (abstract)

Semi-BCI-algebras (abstract)

An intuitionistic ALC description default logic (abstract)

An infinitary deduction system for CTL* (abstract)

Modal functions as moody truth-functions (abstract)

On subexponentials, focusing and modalities in concurrent systems (abstract)

Quantum state transformations and distributed temporal logic (abstract)

Combining non-determinism and context awareness in consistency restoration systems (abstract)