Updating knowledge using subsets

Journal of Applied Non-Classical Logics 21 (3-4):427-441 (2011)
  Copy   BIBTEX

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

Author's Profile

Konstantinos Georgatos
City University of New York

Analytics

Added to PP
2013-11-24

Downloads
303 (#60,868)

6 months
83 (#66,354)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?