aiml.net - AiML: Advances in Modal Logic

home > domains > aiml.net

Example domain paragraphs

Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical discipline that deals with (restricted) description languages for talking about various kinds of relational structures.

Advances in Modal Logic is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences. Please consult the background pages for further details.

AiML 2022 will be organized by Sophie Pinchinat, with David Fernández Duque and Alessandra Palmigiano as programme co-chairs. The conference will be held at the Université de Rennes 1 from 22 to 25 August 2022.

Links to aiml.net (3)

• nalon.org Cláudia Nalon
• virtema.fi Homepage of Jonni Virtema
• dominikklein.dk Dominik Klein: Publications