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, researcher, DL(R) coordinator, Laboratoire Méthodes Formelles

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

In Chile: 

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

In Argentina: 

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

In Brazil: 

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