Title: A Note on the Issue of Cohesiveness in Canonical Models
Language: English
Authors: Pascucci, Matteo 
Category: Research Article
Keywords: Canonical models; Cohesiveness; Modal logic
Issue Date: 2019
Journal: Journal of Logic, Language and Information
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.
DOI: 10.1007/s10849-019-09305-3
Library ID: AC15536716
URN: urn:nbn:at:at-ubtuw:3-8076
ISSN: 1572-9583
Organisation: E192 - Institut für Logic and Computation 
Publication Type: Article
Appears in Collections:Article

Files in this item:

File Description SizeFormat
A Note on the Issue of Cohesiveness in Canonical Models.pdf365.88 kBAdobe PDFThumbnail
Show full item record

Page view(s)

checked on Feb 26, 2021


checked on Feb 26, 2021

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons