No label defined (Q4955425)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1453144
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1453144 |
Statements
4 September 2000
0 references
epistemic logic
0 references
modal logic
0 references
possible worlds semantics
0 references
finite models
0 references
decidability
0 references
0.9296168
0 references
0.92532694
0 references
0 references
0 references
0 references
0 references
0 references
0.90157574
0 references
\(\text{S5}_m (\text{CDE)}\) is a composite propositional logic presented axiomatically, with \(m\) epistemic operators satisfying the S5 modal postulates plus operators \(C\) for `it is common knowledge that', \(D\) for `it is distributed knowledge that', and \(E\) for `everybody knows that'. Various segments of this logic have been given semantic characterizations in terms of possible worlds, but it is not a trivial matter to merge the completeness proofs to work for the whole system with respect to an appropriate semantics. The authors carry out the task. In the process they also obtain some new information about finite models and decidability for the composite system and certain of its segments. For the entire collection see [Zbl 0931.00027].
0 references
