✳flâneur — a map of the web's best reading

AiML: Advances in Modal Logic

aiml.net · 1,456 words · saved by 1 readers

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 2024 will be organized by Igor Sedlár (Institute of Computer Science of the Czech Academy of Sciences), with Agata Ciabattoni and David Gabelaia as Programme Committee co-chairs. The conference will be held at the Faculty of Arts of Charles University (Prague) from 19 to 22 August 2024. Conference local website: www.cs.cas.cz/aiml2024 Call For Papers AiML 2022 was organized by Sophie Pinch

AiML: Advances in Modal Logic home news background conferences volumes who's who tools 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 ser

Explore this link on the map →

related reading