Answers are grounded in this paper and cite their sources.
In this note, we prove that the constructive and intuitionistic variants of the modal logic KB coincide. This result contrasts with a recent result by Das and Marin, who showed that the constructive and intuitionistic variants of K do not prove the same diamond-free formulas.
No takes yet. Share an insight, caveat, or question.
Leonardo C. Pacheco‐Londoño (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: