Pascucci, M. (2020). A Note on the Issue of Cohesiveness in Canonical Models. Journal of Logic, Language and Information. https://doi.org/10.1007/s10849-019-09305-3
In their presentation of canonical models for normal systems of modal logic, Hughes and Cresswell observe that some of these models are based on a frame which can be also thought of as a collection of two or more isolated frames; they call such frames ‘non-cohesive’. The problem of checking whether the canonical model of a given system is cohesive is still rather unexplored and no general decision procedure is available. The main contribution of this article consists in introducing a method which is sufficient to show that canonical models of some relevant classes of normal monomodal and bimodal systems are always non-cohesive.
CC BY 4.0
