Advances in Modal Logic 14

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