Crossmark

Continuous Logic in a Classical Setting

Crossref DOI link: https://doi.org/10.1007/s41980-025-00989-x

Published Online: 2025-09-16

Published Print: 2025-10

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

Authors

Agostini, Claudio https://orcid.org/0000-0001-9222-3444
Baratella, Stefano https://orcid.org/0000-0001-7143-2685
Barbina, Silvia https://orcid.org/0000-0002-8507-8370
Motto Ros, Luca https://orcid.org/0000-0002-9372-4723
Zambella, Domenico https://orcid.org/0000-0003-1141-2898
Funding

Funding for this research was provided by:

Simons Foundation (634269)

TU Wien
License Information

Text and Data Mining valid from 2025-09-16

Version of Record valid from 2025-09-16
More Information

Article History

Received: 11 December 2024

Accepted: 23 March 2025

First Online: 16 September 2025