Mathematical Modality: An Investigation in Higher-order Logic
Crossref DOI link: https://doi.org/10.1007/s10992-023-09728-1
Published Online: 2023-11-28
Published Print: 2024-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bacon, Andrew
Funding for this research was provided by:
University of Southern California
Text and Data Mining valid from 2023-11-28
Version of Record valid from 2023-11-28
Article History
Received: 14 December 2022
Accepted: 17 October 2023
First Online: 28 November 2023
Declarations
:
: Not applicable
: None