On undecidability of the propositional logic of an associative binary modality
Crossref DOI link: https://doi.org/10.1007/s00153-024-00921-w
Published Online: 2024-04-29
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kaminski, Michael http://orcid.org/0000-0002-9848-4191
Funding for this research was provided by:
Technion - Israel Institute of Technology
Text and Data Mining valid from 2024-04-29
Version of Record valid from 2024-04-29
Article History
Received: 22 May 2021
Accepted: 8 March 2024
First Online: 29 April 2024