Metric dynamic equilibrium logic

Open Webpage

Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann

Published: 2023, Last Modified: 19 Oct 2024J. Appl. Non Class. Logics 2023EveryoneRevisionsBibTeXCC BY-SA 4.0