AiML2026: Advances in Modal Logic 2026



Date
June 29, 2026 - July 3, 2026
Venue
Amsterdam, Netherlands
Discipline

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.



Visit Event Website