Paper Info
Title
Granularity and Approximation in Sequences, Multisets, and Sets in the Framework of Kripke Semantics
Abstract
This paper makes some consideration on representing the concepts of sequences, multisets, and usual subsets in the framework of Kripke semantics. First, a Carnap model, which is a tuple of a non-empty set of possible worlds and a valuation mapping, that is, a Kripke model without a binary relation on the nonempty set, is shown to represent, in general, a multiset, and in special case, a subset. Also sequences and digital images are represented by special kinds of Kripke models. Further, when a binary relation on the non-empty set, two approximation operators can be defined.
Year
DOI
Venue
2010
10.1007/978-3-642-11960-6_30
INTEGRATED UNCERTAINTY MANAGEMENT AND APPLICATIONS
Field
DocType
Volume
Kripke structure,Discrete mathematics,Kripke semantics,Binary relation,Multiset,Tuple,Granularity,Mathematics,Possible world,Special case
Conference
68
ISSN
Citations 
PageRank 
1867-5662
0
0.34
References 
Authors
1
5
Name
Order
Citations
PageRank
Tetsuya Murai118642.10
Seiki Ubukata21918.99
Yasuo Kudo39526.41
Seiki Akama47127.71
Sadaaki Miyamoto5722106.97