Ever since antiquity, philosophers have recognized that truth comes in
many "modes", so that a proposition may not only be true or false, but
also e.g. "necessary" or "possible". These ideas led to the modern field
of modal logic, a lively are of research at the intersection of
philosophy, mathematics, and computer science.
Nowadays, the term "modal logic" is understood in a broad sense, which
allows it to be used for reasoning about seemingly unrelated phenomena
such as knowledge, obligations, time, space, and proofs, among many
others. Actual research in modal logic draws on techniques from many
disciplines including complexity theory, combinatorics, universal
algebra, category theory, topology, and proof theory.
These proceedings record the papers presented at the 2022 Advances in
Modal Logic, a biennial conference series with an aim to report on
important new developments in pure and applied modal logic. The topics
in this edition include constructive and substructural modal logic,
unification, algebraic and neighbourhood semantics, proof theory and
complexity of modal logics, and verification in modal logic.