Title: A Note on the Issue of Cohesiveness in Canonical Models
Language: English
Authors: Pascucci, Matteo 
Category: Research Article
Forschungsartikel
Keywords: Canonical models; Cohesiveness; Modal logic
Issue Date: 2019
Journal: Journal of Logic, Language and Information
Abstract: 
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
Artikel
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
 View/Open
Show full item record

Page view(s)

246
checked on Feb 26, 2021

Download(s)

114
checked on Feb 26, 2021

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons