### Accepted Papers

#### Full Papers

Unification in modal logic ALT1

Axiomatizing the lexicographic products of modal logics with LTL

Before announcement

Logics of Infinite Depth

The Logic of Where and While in the 13th and 14th Centuries

Algebraic semantics of refinement modal logic

Axiomatizing a Real-Valued Modal Logic

Verification logic: An arithmetical interpretation for negative introspection

Post Completeness in Congruential Modal Logics

The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus

About intuitionistic public announcement logic

Fully Arbitrary Public Announcements

The Tangled Derivative Logic of the Real Line and Zero-Dimensional Spaces

“Knowing value” logic as a normal modal logic

A Paraconsistent View on B and S5

Embedding formalisms: hypersequents and two-level systems of rules

Locales, Nuclei, and Dragalin Frames

A canonical model construction for intuitionistic distributed knowledge

Local tabularity without transitivity

Decidable first-order modal logics with counting quantifiers

A cut-free sequent calculus for the logic of subset spaces

Propositional dynamic logic with Belnapian truth values

A focused framework for emulating modal proof systems

To Know is to Know the Value of a Variable

The succinctness of first-order logic over modal logic via a formula size game

The structure of the lattice of normal extensions of modal logics with cyclic axioms

Classical and Empirical Negation in Subintuitionistic Logic

Synthetic completeness proofs for Seligman-style tableau systems

It ain't necessarily so: Basic sequent systems for negative modalities

Update, Probability, Knowledge and Belief

#### Short Presentations

WS5 as a Metalogic of Superintuitionistic Multiple-Conclusion Consequence Relations

A Modal Logic Interpretation of Yablo-like Brandenburger-Keisler Paradox

Distributive mereotopology

Computability of definability in the class of all KD45 frames

The length of distinguishing modal formulae

The Kripke sheaf completion of weak constant domain principle is not finitely axiomatizable

On the Completeness of EL-Equations: First Results

A survey on Kearns' modal semantics without possible worlds

Temporal hybrid logics with the modalities “tomorrow” and “yesterday”

Beyond knowledge: when an agent imagines

Normal default rules as epistemic actions

Gödel's incompleteness properties and the expressive quality of some modal-behaving logics

Algebraic semantics for logics with necessity and sufficiency

Axiomatizing Modal Dependence Logics

Temporal modal logic of intervals with relation ‘before’

Free Boolean extensions of Heyting algebras

Big and small steps for fast and slow provability

The logic of Resources and Capabilities

Expressivity of Many-valued Modal Logics, Coalgebraically

Stable Canonical Rules and Formulas for PDL

On the Lambek Calculus with the Kleene Star and the Exponential

Agents, Roles and Rights. A Formal Analysis on Hohfeldian Conceptions

Constructive canonicity for non-classical fixed point logics

Neighbourhood products of pretransitive modal logics with S5

Herbrand’s Theorem for Hybrid Logic

Semi-Provability Predicates and Extensions of GL

On modal logic of submodels

Notes on a reduction property for GLP-algebras

Taking the “choice” aspect of free choice permission seriously