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
Revision history
Archival date: 2017-02-15
View upload history
References found in this work BETA
Modal Logic.Blackburn, Patrick; de Rijke, Maarten & Venema, Yde
Dynamic Epistemic Logic.van Ditmarsch, Hans; van Der Hoek, Wiebe & Kooi, Barteld
Products of Modal Logics, Part 1.Gabbay, D. & Shehtman, V.

View all 10 references / Add more references

Citations of this work BETA
Announcement as Effort on Topological Spaces.van Ditmarsch, Hans; Knight, Sophia & Özgün, Aybüke

Add more citations

Added to PP index

Total views
30 ( #33,533 of 38,918 )

Recent downloads (6 months)
11 ( #28,884 of 38,918 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.