A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic
Crossref DOI link: https://doi.org/10.1007/s10849-022-09390-x
Published Online: 2022-12-21
Published Print: 2023-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shtakser, Gennady https://orcid.org/0000-0003-2317-3097
Text and Data Mining valid from 2022-12-21
Version of Record valid from 2022-12-21
Article History
Accepted: 30 November 2022
First Online: 21 December 2022