Propositional Quantification in Bimodal $$\mathbf {S5}$$S5
Crossref DOI link: https://doi.org/10.1007/s10670-018-0035-3
Published Online: 2018-07-27
Published Print: 2020-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fritz, Peter http://orcid.org/0000-0001-5785-4013
Text and Data Mining valid from 2018-07-27
Article History
Received: 18 August 2017
Accepted: 10 July 2018
First Online: 27 July 2018