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

Konstantinos Georgatos
City University of New York
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
Keywords knowledge update  bimodal logic  logic of knowledge  subset logic
Categories (categorize this paper)
DOI 10.3166/jancl.21.427-441
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 16 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
52 ( #183,094 of 2,348,160 )

Recent downloads (6 months)
5 ( #147,909 of 2,348,160 )

How can I increase my downloads?


My notes