Crossmark

The Many Uses of Dynamic Logic

Crossref DOI link: https://doi.org/10.1007/978-3-031-92196-4_4

Published Online: 2025-05-28

Published Print: 2025

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ahrendt, Wolfgang https://orcid.org/0000-0002-5671-2555
Beckert, Bernhard https://orcid.org/0000-0002-9672-3291
Bubel, Richard https://orcid.org/0009-0003-4847-4707
Hähnle, Reiner https://orcid.org/0000-0001-8000-7613
Ulbrich, Mattias https://orcid.org/0000-0002-2350-1831
License Information

Text and Data Mining valid from 2025-01-01

Version of Record valid from 2025-01-01
More Information

Chapter History

First Online: 28 May 2025