AiML2026: Advances in Modal Logic 2026

Event Overview:

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.