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
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
(categorize this paper)
PhilPapers/Archive ID
Upload history
Archival date: 2017-02-15
View other versions
Added to PP index

Total views
69 ( #57,976 of 69,983 )

Recent downloads (6 months)
11 ( #55,272 of 69,983 )

How can I increase my downloads?

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