Arvid Becker

According to our database, Arvid Becker authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Metric dynamic equilibrium logic.

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

J. Appl. Non Class. Logics, October, 2023

Metric Temporal Equilibrium Logic over Timed Traces.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann

CoRR, 2023