Updating knowledge using subsets

Journal of Applied Non-Classical Logics 21 (3-4):427-441 (2011)
Download Edit this record How to cite View on PhilPapers
Abstract
Larry Moss and Rohit Parikh used subset semantics to characterize a family of logics for reasoning about knowledge. An important feature of their framework is that subsets always decrease based on the assumption that knowledge always increases. We drop this assumption and modify the semantics to account for logics of knowledge that handle arbitrary changes, that is, changes that do not necessarily result in knowledge increase, such as the update of our knowledge due to an action. We present a system which is complete for subset spaces and prove its decidability
Categories
(categorize this paper)
ISBN(s)
PhilPapers/Archive ID
GEOUKU
Upload history
Archival date: 2017-02-15
View other versions
Added to PP index
2013-11-24

Total views
53 ( #44,845 of 53,701 )

Recent downloads (6 months)
6 ( #50,113 of 53,701 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.