Repository | Journal | Volume | Articles
(2010) Synthese 172 (1).
We study set algebras with an operator (SAO) that satisfy the axioms of S5 knowledge. A necessary and sufficient condition is given for such SAOs that the knowledge operator is defined by a partition of the state space. SAOs are constructed for which the condition fails to hold. We conclude that no logic singles out the partitional SAOs among all SAOs.
Publication details
DOI: 10.1007/s11229-009-9469-0
Full citation:
Samet, D. (2010). S5 knowledge without partitions. Synthese 172 (1), pp. 145-155.
This document is unfortunately not available for download at the moment.