S5 knowledge without partitions
نویسندگان
چکیده
منابع مشابه
S5 knowledge without partitions
We study set algebras with an operator (SAO) that satisfies 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.
متن کاملKnowledge Compilation in the Modal Logic S5
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical knowledge compilation map to S5. We then show that the notion of disjunctive normal form (DNF) can be profitably extended to the epistemic case; we prove that the DNF fragment of S5, when appropriately defined, satisfies...
متن کاملDistinct Parts Partitions without Sequences
Partitions without sequences of consecutive integers as parts have been studied recently by many authors, including Andrews, Holroyd, Liggett, and Romik, among others. Their results include a description of combinatorial properties, hypergeometric representations for the generating functions, and asymptotic formulas for the enumeration functions. We complete a similar investigation of partition...
متن کاملReal zeros and partitions without singleton blocks
We prove that the generating polynomials of partitions of an nelement set into non-singleton blocks, counted by the number of blocks, have real roots only. We apply this information to find the most likely number of blocks. As another application of the real zeros result, we prove that the number of blocks is normally distributed in such partitions. We present a quick way to prove the correspon...
متن کاملInteractive and Common Knowledge of Information Partitions
This paper addresses the question whether interactive knowledge and common knowledge of information partitions are additional assumptions in the state-space model of knowledge. Robert Aumann and others have already discussed this issue, but in a way that appears unsatisfactory. This paper provides a thorough answer to the question in four steps. First, it makes clear the methodological nature o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2009
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-009-9469-0