Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic
Crossref DOI link: https://doi.org/10.1007/s11225-024-10095-4
Published Online: 2024-03-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ma, Minghui
Guo, Juntong
Funding for this research was provided by:
National Social Science Fund of China (18ZDA033)
Text and Data Mining valid from 2024-03-06
Version of Record valid from 2024-03-06
Article History
Received: 30 July 2023
First Online: 6 March 2024