<div class="csl-bib-body">
<div class="csl-entry">Pascucci, M. (2020). A Note on the Issue of Cohesiveness in Canonical Models. <i>Journal of Logic, Language and Information</i>. https://doi.org/10.1007/s10849-019-09305-3</div>
</div>
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.
en
dc.language
English
-
dc.language.iso
en
-
dc.publisher
Springer Nature
-
dc.relation.ispartof
Journal of Logic, Language and Information
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
Canonical models
en
dc.subject
Cohesiveness
en
dc.subject
Modal logic
en
dc.title
A Note on the Issue of Cohesiveness in Canonical Models