DC Field
Value
Language
dc.contributor.author
Pascucci, Matteo
-
dc.date.accessioned
2020-06-27T17:47:01Z
-
dc.date.issued
2020-09
-
dc.identifier.citation
<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>
-
dc.identifier.issn
0925-8531
-
dc.identifier.uri
https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-8076
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/755
-
dc.description.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.
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
en
dc.type
Article
en
dc.type
Artikel
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.rights.holder
The Author(s) 2019
-
dc.type.category
Original Research Article
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.version
vor
-
dcterms.isPartOf.title
Journal of Logic, Language and Information
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.publisher.doi
10.1007/s10849-019-09305-3
-
dc.date.onlinefirst
2019-10-26
-
dc.identifier.eissn
1572-9583
-
dc.identifier.libraryid
AC15536716
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-8076
-
dc.rights.identifier
CC BY 4.0
de
dc.rights.identifier
CC BY 4.0
en
wb.sci
true
-
item.languageiso639-1
en
-
item.openairetype
research article
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
Appears in Collections:
Article
Thumbnail
Pascucci Matteo - 2019 - A Note on the Issue of Cohesiveness in Canonical Models.pdf
Adobe PDF
(365.88 kB)
Open Access
Show simple item record

Page view(s)

445
checked on Nov 20, 2023

Download(s)

135
checked on Nov 20, 2023

Google ScholarTM

Check