Knowledge Processing and Information Systems
Metric dynamic equilibrium logic

@article{DBLP:journals/jancl/BeckerCDCSS23,
  title = {Metric dynamic equilibrium logic},
  author = {Becker, Arvid and Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Cerro, Luis Fari{\~{n}}as del and Schaub, Torsten and Schuhmann, Anna},
  journal = {J. Appl. Non Class. Logics},
  number = {3-4},
  pages = {495--519},
  volume = {33},
  year = {2023}
}