Advances in Modal Logic
Rennes, August 22-25 2022
Advances in Modal Logic 2022
Rennes, August 22-25
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.
Information about the AiML series can be obtained at http://www.aiml.net.
Sophie Pinchinat (chair), Université de Rennes 1, IRISA
Sophie Maupile, IRISA
Dylan Bellier, Université de Rennes 1, IRISA
Pierre Le Scornet, Université de Rennes 1, IRISA
Alexandre Terefenko, Université de Rennes 1, IRISA / Université de Mons
Programme committee chair
David Fernández Duque, University of Ghent
Alessandra Palmigiano, Vrije Universiteit Amsterdam
Erman Acar, VU Amsterdam
Bahareh Afshari, University of Amsterdam
Natasha Alechina, University of Utrecht
Steve Awodey, Carnegie Mellon
Philippe Balbiani, CNRS, Toulouse University
Marta Bilkova, Academy of Sciences of the Czech Republic
Xavier Caicedo, University of los Andes
Walter Carnielli, State University of Campinas
Agata Ciabattoni, TU Wien
Ivano Ciardelli, University of Munich
Willem Conradie, University of the Witwatersrand
Laurent De Rudder, University of Liege
Tommaso Flaminio, Spanish National Research Council
Sabine Frittella, INSA Centre Val de Loire
Nick Galatos, University of Denver
Sam van Gool, IRIF, Université de Paris
Giuseppe Greco, VU Amsterdam
Thomas Icard, Stanford University
Ramon Jansana University of Barcelona
Peter Jipsen, Chapman University
Joost Joosten, University of Barcelona
Stanislav Kikot, Sber Automotive Technologies
Philip Kremer, University of Toronto
Alexander Kurz, Chapman University
Roman Kuznets, TU Wien
Fei Liang, University of Shandong
Minghui Ma, Sun Yat-Sen University, Guangzhou
Morteza Moniri, Shahid Beheshti University
Tommaso Moraschini, University of Barcelona
Drew Moshier, Chapman University, Orange CA
Eric Pacuit, University of Maryland
Fedor Pakhomov, Ghent University
Sophie Pinchinat, IRISA, University of Rennes I
Daniele Porello, University of Genova
Vit Puncochar, Academy of Sciences of the Czech Republic
Revantha Ramanayake, University of Groningen
Christian Retoré, University of Montpellier
Umberto Rivieccio, Universidade Federal do Rio Grande do Norte
Claudette Robinson, University of Johannesburg
Gabriel Sandu, University of Helsinki
Igor Sedlar, Academy of Sciences of the Czech Republic
Ilya Shapirovsky, Institute for the Information Transmission Problems
Apostolos Tzimoulis, VU Amsterdam
Sara Uckelman, Durham University
Jouko Väänänen, University of Helsinki
Heinrich Wansing, University of Bochum
Frank Wolter, University of Liverpool
- Abstracts of full papers submission deadline: 7 March 2022
- Full papers submission deadline: 14 March 2022
- Full papers acceptance notification: 13 May 2022
- Short presentations submission deadline: 23 May 2022
- Short presentations acceptance notification: 6 June 2022
- Final version of full papers and short presentations due: 13 June 2022
- Conference: 22 August — 25 August 2022
I obtained my PhD in Philosophy from the University of Florence, Italy and the University of Paris 1 Panthéon-Sorbonne, France. Before joining the IHPST UMR 8590, CNRS, where I have been a permanent member since 2015, I have held research and teaching positions at the VUB, Belgium and Aix-Marseille University. I have been actively working on the proof theory for modal logic for almost ten years. More recently I have moved my interests to more philosophical notions such as grounding or explanations; I use the techniques of proof theory to attempt to provide a rigorous account of these concepts.
Rineke Verbrugge is a pioneer in building bridges between logic and cognitive science. She holds the chair of Logic and Cognition at the University of Groningen’s Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence. Verbrugge’s research spans an area covering provability logic, teamwork in multi-agent environments, and social cognition. Since her PhD on logic and the foundations of mathematics at the University of Amsterdam in 1993, Verbrugge has published more than 170 peer-reviewed international publications and a monograph, Teamwork in Multi-Agent Systems, with Barbara Dunin-Kęplicz. Verbrugge has led the NWO Vici-project “Cognitive systems in interaction: Logical and computational models of higher-order social cognition”. She is one of the six principal investigators of the Gravitation project “Hybrid Intelligence: Augmenting Human Intellect” that runs in the Netherlands in 2020-2030. Verbrugge is associate editor of the Journal of Logic, Language and Information and has been program (co-)chair of several workshops and conferences, including AiML 2020 and TARK 2023, as well as chair of the Dutch Association for Logic. Since 2021, Verbrugge is an elected member of the Royal Netherlands Academy of Sciences (KNAW).
Wesley H. Holliday is Professor of Philosophy and Chair of the Group in Logic and the Methodology of Science at the University of California, Berkeley. He earned his PhD from Stanford University in 2012, working under the supervision of Johan van Benthem and Krista Lawlor. His dissertation on epistemic logic won the E. W. Beth Dissertation Prize in 2013. At Berkeley he has worked mainly on modal and nonclassical logic, logic and natural language, logic and probability, and logic and social choice theory. Some of his papers on modal logic have appeared in AiML 2010, 2012, 2014, 2016, 2018, and 2020.
Willem Conradie is a professor in the School of Mathematics at the
University of the Witwatersrand (WITS), South Africa, where is also Assistant Dean for Teaching and Learning in the Faculty of Science. Previously he was an associate professor and head of department at the University of Johannesburg. After completing the Master of Logic programme at the ILLC in 2002, he received a PhD in Mathematics from WITS in 2007 under the supervision of Valentin Goranko. His main research interests are in non-classical logics and their applications, on which he publishes regularly, with some recent contributions addressing the correspondence theory for non-distributive modal logics, new polarity and graph-based semantic for non-distributive modal logics suitable for interpretations of these formalisms as logics of categorisation systems or as hyper-constructivists logics of informational entropy and evidential reasoning, as well as new algebraic semantics for hybrid logics. Conradie has co-authored the book “Logic and Discrete Mathematics: A Concise Introduction” published by Wiley UK. He serves on the council of the South African Mathematical Society, the council of the Association for Symbolic Logic and on the South African Mathematics Olympiad committee.
Call for papers
We invite submissions on all aspects of modal logic, including:
- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics)
- theoretical aspects of modal logic (topological/algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic)
- specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics)
Papers on related subjects will also be considered.
There will be two types of submissions for AiML 2022:
- Full papers for publication in the proceedings and presentation at the conference.
- Short presentations intended for presentation at the conference but not for the published proceedings.
Both types of papers should be submitted electronically using the EasyChair submission page which will be made available in due course. The Latex style files authors have to use are available here.
At least one author of each accepted paper or short presentation must register for and attend the conference.
Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere.
The submissions should be at most 15 pages (references excluded), with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template provided above.
Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper.
The presentations of accepted full papers will be 30 minutes long.
Submissions of extended abstracts of up to 5 pages, typeset in the AiML LaTeX style above, are also welcome, and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them.
E-mail enquiries should be directed to the PC chairs: