DL(R): Dynamic logics (reloaded)

• PARTOUT project-team, Inria Saclay Centre, Inria (France)

• Laboratoire Méthodes Formelles (LMF) (France)

• Pontificia Universidad Católica de Chile (UC) (Chile)

• Universidad Nacional de Córdoba (Argentina)

• Universidade Federal Fluminense (UFF) (Brazil)

During the project we will advance our understanding of a novel family of logics called dynamic logics. Dynamic logics are characterized by the inclusion of operators that can modify the model in which they  re being evaluated. This characteristic made them especially well suited for the description of evolving scenarios like, for example, the temporal evolution of a communication network, where connections are dynamically created and eliminated, constantly changing the actual topology. A number of different dynamic logics have been investigated by members of the project, but a general perspective is still missing, and a number of important open questions remains, ranging from adequate model theoretic characterizations, to a proper understanding of how to define proof calculi for these logics. In recent years, the potential applications of dynamic logics have grown, with the recent rise of AI techniques based on knowledge represented as large graphs. The project aims to pull together the strengths of the five international research teams, to unify existing results and attempt to answer these open problems.

In France: 

• Stéphane Demri, Senior Researcher, DL(R) coordinator, Laboratoire Méthodes Formelles

• Benedikt Bollig, Senior Researcher, Laboratoire Méthodes Formelles

• Philippe Schnoebelen, Senior Researcher, Laboratoire Méthodes Formelles

• Dietmar Berwanger, Senior Researcher, Laboratoire Méthodes Formelles

• Isa Vialard, PhD student, Laboratoire Méthodes Formelles

• Lutz Strassburger, Senior Researcher, DL(R) coordinator, PARTOUT project-team, Inria Saclay Centre, Inria

• Dale Miller, Senior Researcher, Inria Saclay Centre, Inria

• Noam Zeilberger, Senior Researcher, Inria Saclay Centre, Inria

• Beniamino Accattoli, Junior Researcher, Inria Saclay Centre, Inria

• Giti Omidvar, PhD student, Inria Saclay Centre, Inria

• Marianela Morales, PhD student, Inria Saclay Centre, Inria

• Adrienne Lancelot, PhD student, Inria Saclay Centre, Inria

• Jiu-Hsuan Wu, PhD student, Inria Saclay Centre, Inria

• Farah Al Wardani, PhD student, Inria Saclay Centre, Inria

In Chile: 

• Pablo Barceló, Senior Researcher, DL(R) coordinator, Pontificia Universidad Católica de Chile (UC)

• Domagoj Vrgoc, Senior Researcher, Pontificia Universidad Católica de Chile (UC)

• Jocelyn Dunstan, Senior Researcher, Pontificia Universidad Católica de Chile (UC)

• Juan Reutter, Senior Researcher, Pontificia Universidad Católica de Chile (UC)

• Alexander Kozachinskiy, Junior Researcher, Pontificia Universidad Católica de Chile (UC)

In Argentina: 

• Carlos Areces, Senior Researcher, DL(R) coordinator, Universidad Nacional de Córdoba

• Luciana Benotti, Senior Researcher, Universidad Nacional de Córdoba

• Raul Fervari, Junior Researcher, Universidad Nacional de Córdoba

• Guillaume Hoffmann, Junior Researcher, Universidad Nacional de Córdoba

• Valentín Cassano, Junior Researcher, Universidad Nacional de Córdoba

• Mallku Soldevila, Junior Researcher, Universidad Nacional de Córdoba

• Juliana Putero, PhD student, Universidad Nacional de Córdoba

• Andrés R. Saravia, PhD student, Universidad Nacional de Córdoba

• Danae Dutto, PhD student, Universidad Nacional de Córdoba

• Antonio Mondejar, PhD Candidate, Universidad Nacional de Córdoba

In Brazil: 

• Mario Roberto Folhadela Benevides, Senior Researcher, DL(R) coordinator, Universidade Federal Fluminense

• Bruno Lopes Vieira, Junior Researcher, Universidade Federal Fluminense

• Vitor P. Machado, Junior Researcher, Universidade Federal Fluminense

• Uéverton dos Santos Souza, Junior Researcher, Universidade Federal Fluminense

• Anna C. N. Oliveira, PhD student, Universidade Federal Fluminense

• Renato Reis Leme, DSc student, Universidade Federal Fluminense

• Maurício da Silva Pires, DSc student, Universidade Federal Fluminense

• Allan Patrick de Freitas Santanna, MSc student, Universidade Federal Fluminense

• Matheus Guimaraes Robaina, MSc student, Universidade Federal Fluminense

• Caio Serra de Mello, MSc student, Universidade Federal Fluminense