Accepted papers
Negation and partial axiomatizations of dependence and independence logic revisited
Anaphors and Quantifiers
A Curry-Howard view of basic justification logic
Compactness in Infinitary Gödel Logics
Justified Belief and the Topology of Evidence
On the Complexity of the Equational Theory of Residuated Boolean Algebras
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
The Expressive Power of k-ary Exclusion Logic
Second-order false-belief tasks: Analysis and formalization
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
Cut Elimination for Gödel Logic with an Operator Adding a Constant
Foundations of Mathematics: Reliability AND Clarity in Proof by Mathematical Induction
Causality in Bounded Petri Nets is MSO Definable
On the Formalization of Some Results of Context-Free Language Theory
Categories: How I Learned to Stop Worrying and Love Two Sorts
The Useful MAM, a Reasonable Implementation of the Strong Lambda-Calculus
A multi-type calculus for inquisitive logic
True Concurrency of Deep Inference Proofs
The Semantics of Corrections
A Logical approach to context-specific independence
A Classical Propositional Logic for Reasoning about Reversible Logic Circuits
Expressivity of Many-Valued Modal Logics, Coalgebraically.
Descriptive complexity of graph spectra