AiML2026: Advances in Modal Logic 2026
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences.
The thematic coverage of the event includes, but is not restricted to, the following topics: proof/model/computational theory of modal logic, applications of modal logic, history of modal logic and philosophy of modal logic.
